Fikes, Richard; Nilsson, Nils J. "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving" pp608-620

[Proceedings] (1971) Proceedings of the Second International Joint Conference on Artificial Intelligence (IJCAI), September 5 - 8, 1971, London, England  

Languages mentioned Strips {1969} Extra-logical problem solver