Strips: A new approach to the application of theorem proving to problem solving (1971)

by R Fikes, N J Nilsson
Venue:In International Joint Conferences on Artificial Intelligence