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

by Z Manna, R J Waldinger
Venue:J. of Automated Reasoning