@article {55898, title = {Higher-Order Pattern Anti-Unification in Linear Time}, journal = {Journal of Automated Reasoning}, volume = {58}, year = {2017}, pages = {293-310}, issn = {0168-7433}, doi = {10.1007/s10817-016-9383-3}, author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret} }