Richard Fikes, Nils J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. In IJCAI. pages 608-620, 1971.
@inproceedings{FikesN71:0, title = {STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving}, author = {Richard Fikes and Nils J. Nilsson}, year = {1971}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/FikesN71%3A0}, cites = {0}, citedby = {0}, pages = {608-620}, booktitle = {IJCAI}, }