@inproceedings{RISC5002,author = {Alexander Baumgartner and Temur Kutsia},
title = {{Unranked Second-Order Anti-Unification}},
booktitle = {{Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014 }},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {8652},
pages = {66-- 80},
publisher = {Springer},
isbn_issn = {ISBN 978-3-662-44144-2},
year = {2014},
editor = {Ulrich Kohlenbach},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {15}
}