@article{fikes1972strips,
  title={{STRIPS}: a new approach to the application of theorem proving to problem solving},
  author={Fikes, Richard E. and Nilsson, Nils J.},
  journal={Artificial Intelligence},
  volume={2},
  number={3},
  pages={189--208},
  year={1972},
  publisher={Elsevier}
}