Artificial Intelligence, Volume 2, Winter 1971

• Fikes and Nilsson (1971) Fikes, R. and Nilsson, N., "STRIPS: A new approach to the application of theorem proving to problem solving"