%0 Conference Paper %1 conf/aaai/ElcockH86 %A Elcock, Edward W. %A Hoddinott, P. %B AAAI %D 1986 %E Kehler, Tom %E Rosenschein, Stanley J. %I Morgan Kaufmann %K dblp %P 766-777 %T Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. %U http://dblp.uni-trier.de/db/conf/aaai/aaai86-2.html#ElcockH86

@inproceedings{conf/aaai/ElcockH86, added-at = {2023-09-04T00:00:00.000+0200}, author = {Elcock, Edward W. and Hoddinott, P.}, biburl = {https://www.bibsonomy.org/bibtex/2132b9455559f3877f7c985d993d74513/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/1986-2}, editor = {Kehler, Tom and Rosenschein, Stanley J.}, ee = {http://www.aaai.org/Library/AAAI/1986/aaai86-128.php}, interhash = {e2e9b1f92928ec36732382b920e1371c}, intrahash = {132b9455559f3877f7c985d993d74513}, keywords = {dblp}, pages = {766-777}, publisher = {Morgan Kaufmann}, timestamp = {2024-04-10T21:37:40.000+0200}, title = {Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai86-2.html#ElcockH86}, year = 1986 }