Unranked Second-Order Anti-Unification.

Alexander Baumgartner, Temur Kutsia

Browse the full WoLLIC paper archive.