Barely Decidable Fragments of Planning.

Maurice Dekker, Gregor Behnke

Browse the full ECAI paper archive.