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

[AI] (1971) Artificial Intelligence, Volume 2, Winter 1971  

Languages mentioned Strips {1969} Extra-logical problem solver