State Space Planning Using Transaction Logic.

Reza Basseda, Michael Kifer

Browse the full PADL paper archive.