@inproceedings{3b0be5cb87684edf84b9b03b935eda41,
title = "A library of anti-unification algorithms",
author = "Alexander Baumgartner and Teimuraz Kutsia",
year = "2014",
doi = "10.1007/978-3-319-11558-0\_38",
language = "English",
isbn = "978-3-319-11557-3",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer",
pages = "543--557",
editor = "\{Eduardo Ferme and Joao Leite\}",
booktitle = "Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014",
}