author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Nominal Anti-Unification}},
booktitle = {{Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15}},
language = {english},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
pages = {57--73},
isbn_issn = {ISSN 1868-8969},
year = {2015},
editor = {Maribel Fernandez},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {17}