Fikes, R. E., and Nilsson, N. 1971. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 5(2): 189-208.
Referenced by pages:
Planning Sequence-oriented Representations Total-Order Planning
