author = {Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Anti-Unification for Unranked Terms and Hedges}},
language = {english},
journal = { Journal of Automated Reasoning},
volume = {52},
number = {2},
pages = {155--190},
isbn_issn = {ISSN 0168-7433},
year = {2014},
refereed = {yes},
sponsor = {Austrian Science Fund (FWF) under the project SToUT (P 24087-N18)},
length = {36},
url = {http://dx.doi.org/10.1007/s10817-013-9285-6}