%0 Conference Paper %1 conf/ijcai/LovelandS73 %A Loveland, Donald W. %A Stickel, Mark E. %B IJCAI %D 1973 %E Nilsson, Nils J. %I William Kaufmann %K dblp %P 153-161 %T A Hole in Goal Trees: Some Guidance from Resolution Theory. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai73.html#LovelandS73

@inproceedings{conf/ijcai/LovelandS73, added-at = {2019-08-20T00:00:00.000+0200}, author = {Loveland, Donald W. and Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/27e25fe0ea804c25f07c672f08c53bc1d/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1973}, editor = {Nilsson, Nils J.}, ee = {http://ijcai.org/Proceedings/73/Papers/018.pdf}, interhash = {2fc2d858bc0ac75c5a02b78bfc9af239}, intrahash = {7e25fe0ea804c25f07c672f08c53bc1d}, keywords = {dblp}, pages = {153-161}, publisher = {William Kaufmann}, timestamp = {2019-08-21T11:51:15.000+0200}, title = {A Hole in Goal Trees: Some Guidance from Resolution Theory.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai73.html#LovelandS73}, year = 1973 }