Donald W. Loveland, Mark E. Stickel. A Hole in Goal Trees: Some Guidance from Resolution Theory. In IJCAI. pages 153-161, 1973.
@inproceedings{LovelandS73, title = {A Hole in Goal Trees: Some Guidance from Resolution Theory}, author = {Donald W. Loveland and Mark E. Stickel}, year = {1973}, tags = {e-science}, researchr = {https://researchr.org/publication/LovelandS73}, cites = {0}, citedby = {0}, pages = {153-161}, booktitle = {IJCAI}, }