How to Clear a Block: A Theory of Plans.

Zohar Manna Richard J. Waldinger How to Clear a Block: A Theory of Plans. 343-377 1987 3 J. Autom. Reasoning 4 db/journals/jar/jar3.html#MannaW87