Some Results on Equational Unification.

Paliath Narendran, Friedrich Otto

Browse the full CADE paper archive.