A New Approach to Universal Unification and Its Application to AC-Unification.

Mark Franzen, Lawrence J. Henschen

Browse the full CADE paper archive.