@misc{W2402164836,
  author = {Richard Fikes and Nils J. Nilsson},
  title = {STRIPS: a new approach to the application of theorem proving to problem solving},
  year = {1971}
}