E. W. Elcock, P. Hoddinott. Comments on Kornfeld s Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. In AAAI. pages 766-777, 1986.
@inproceedings{ElcockH86,
title = {Comments on Kornfeld s Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy},
author = {E. W. Elcock and P. Hoddinott},
year = {1986},
tags = {Prolog, e-science, search},
researchr = {https://researchr.org/publication/ElcockH86},
cites = {0},
citedby = {0},
pages = {766-777},
booktitle = {AAAI},
}