How to Clear a Block: Plan Formation in Situational Logic.

Zohar Manna, Richard J. Waldinger

Browse the full CADE paper archive.