@conference {55872, title = {A Variant of Higher-Order Anti-Unification}, booktitle = {Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA{\textquoteright}13}, year = {2013}, doi = {10.4230/LIPIcs.RTA.2013.113}, url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2013.113}, author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret} }