## P. Hoddinott, E. W. Elcock

*PROLOG: Subsumption of Equality Axioms by the Homogeneous Form*

ICLP, 1986.

@inproceedings{SLP-1986-HoddinottE86, author = "P. Hoddinott and E. W. Elcock", booktitle = "{Proceedings of the Third Symposium on Logic Programming}", isbn = "0-8186-0728-9", note = "long version: JLP 6(1&2): 45-56", pages = "115--126", publisher = "{IEEE-CS}", title = "{PROLOG: Subsumption of Equality Axioms by the Homogeneous Form}", year = 1986, }