Terminating Non-disjoint Combined Unification.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Browse the full LOPSTR paper archive.