"Rigid E-Unification Revisited."

Ashish Tiwari, Leo Bachmair, Harald Rueß (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics