@inproceedings{b02d522dfd52426fafc188ec0571b38a,
title = "Unranked Second-Order Anti-Unification",
author = "Alexander Baumgartner and Teimuraz Kutsia",
year = "2014",
doi = "10.1007/978-3-662-44145-9\_5",
language = "English",
isbn = "978-3-662-44144-2",
volume = "8652",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer",
pages = "66--80",
editor = "\{Ulrich Kohlenbach\}",
booktitle = "Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014",
}