author = {Alexander Baumgartner and Temur Kutsia},
title = {{A library of anti-unification algorithms}},
booktitle = {{Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014}},
language = {english},
series = {Lecture Notes in Computer Science},
pages = {543--557},
publisher = {Springer},
isbn_issn = {ISBN 978-3-319-11557-3},
year = {2014},
editor = {Eduardo Ferme and Joao Leite},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {15}