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

by R Fikes, N Nilson
Venue:Artificial Intelligence