author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{A Variant of Higher-Order Anti-Unification}},
booktitle = {{Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013}},
language = {english},
series = {Leibniz International Proceedings in Informatics},
volume = {21},
pages = {113--127},
isbn_issn = {ISBN 978-3-939897-53-8, ISSN 1868-8969},
year = {2013},
editor = {Femke van Raamsdonk},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {15},
url = {http://drops.dagstuhl.de/opus/volltexte/2013/4057/pdf/10.pdf}