Unranked Anti-Unification with Hedge and Context Variables. - Alexander Baumgartner; Temur Kutsia (UNIF@RTA/TLCA, 2013)

A Variant of Higher-Order Anti-Unification. - Alexander Baumgartner; Temur Kutsia; Jordi Levy; Mateu Villaret (RTA, 2013)

A Library of Anti-unification Algorithms. - Alexander Baumgartner; Temur Kutsia (JELIA, 2014)

Nominal Anti-Unification. - Alexander Baumgartner; Temur Kutsia; Jordi Levy; Mateu Villaret (UNIF, 2014)

Unranked second-order anti-unification. - Alexander Baumgartner; Temur Kutsia (Inf. Comput., 2017)

Higher-Order Pattern Anti-Unification in Linear Time. - Alexander Baumgartner; Temur Kutsia; Jordi Levy; Mateu Villaret (J. Autom. Reason., 2017)

Term-Graph Anti-Unification. - Alexander Baumgartner; Temur Kutsia; Jordi Levy; Mateu Villaret (FSCD, 2018)

A, C, and AC Nominal Anti-Unification. - Alexander Baumgartner; Daniele Nantes-Sobrinho (UNIF, 2020)

Regularizing conjunctive features for classification. - Pablo Barceló; Alexander Baumgartner; Victor Dalmau; Benny Kimelfeld (J. Comput. Syst. Sci., 2021)

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories. - Daniele Nantes-Sobrinho; Manfred Schmidt-Schauß; Alexander Baumgartner; Temur Kutsia (CoRR, 2025)