Unital Anti-Unification: Type and Algorithms.

David M. Cerna, Temur Kutsia

Browse the full FSCD paper archive.