How to clear a block: a theory of plans (1987)

by Z Manna, R Waldinger
Venue:Journal of Automated Reasoning