"A Completeness Result for E-unification Algorithms Based on Conditional ..."

Elio Giovannetti, Corrado Moiso (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics