STRIPS: a new approach to the application of theorem proving to problem solving (0)

by R Fikes, N Nilsson
Venue:I 97 I