"PROLOG: Subsumption of Equality Axioms by the Homogeneous Form."

P. Hoddinott, E. W. Elcock (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics