E-Unification Algorithms for a Class of Confluent Term Rewriting Systems.

Jia-Huai You, P. A. Subrahmanyam

Browse the full ICALP paper archive.