Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Nominal Anti-Unification. In Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. Volume 36 of LIPIcs, pages 57-73, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
@inproceedings{BaumgartnerKLV15,
title = {Nominal Anti-Unification},
author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
year = {2015},
doi = {10.4230/LIPIcs.RTA.2015.57},
url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2015.57},
researchr = {https://researchr.org/publication/BaumgartnerKLV15},
cites = {0},
citedby = {0},
pages = {57-73},
booktitle = {26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland},
editor = {Maribel Fernández},
volume = {36},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-85-9},
}