E. W. Elcock Prolog: Subsumption of Equality Axioms by the Homogeneous Form. 45-56 1989 6 J. Log. Program. 1&2 db/journals/jlp/jlp6.html#Elcock89