@inproceedings{ae288e52c6ee4f499e4d57bf2becd621,
title = "Anti-Unification for Unranked Terms and Hedges",
author = "Teimuraz Kutsia and Jordi Levy and Mateu Villaret",
year = "2011",
doi = "10.4230/LIPIcs.RTA.2011.219",
language = "English",
isbn = "978-3-939897-30-9",
volume = "10",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing",
pages = "219--234",
editor = "\{Manfred Schmidt-Schauss\}",
booktitle = "Proceedings of the 22st International Conference on Rewriting Techniques and Applications, RTA 2011",
}