Fikes et al. (1971), STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
» References