@misc{W2337392266,
  author = {Richard Fikes and Nils J. Nilsson},
  title = {Strips: A new approach to the application of theorem proving to problem solving},
  year = {1971},
  howpublished = {Artificial Intelligence},
  doi = {https://doi.org/10.1016/0004-3702(71)90010-5}
}