A Library of Anti-unification Algorithms.

Alexander Baumgartner, Temur Kutsia

Browse the full JELIA paper archive.