PROLOG: Subsumption of Equality Axioms by the Homogeneous Form.

P. Hoddinott E. W. Elcock PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. 115-126 1986 SLP db/conf/slp/slp86.html#HoddinottE86