@article{Fikes-Nilsson71,
  author	= {Fikes, R. E. and Nilsson, H. J.},
  year		= {1971},
  title		= {STRIP: A New Approach to the Application of Theorem Proving to Problem Solving},
  journal	= {Artificial Intelligence},
  volume	= {2},
  pages		= {pages 189--205}
}