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

by R Fikes, N Nilsson
Venue:Arti Intelligence