An Improved General E-Unification Method.

Daniel J. Dougherty, Patricia Johann

Browse the full CADE paper archive.