PDL with Negation of Atomic Programs.

Carsten Lutz, Dirk Walther

Browse the full CADE paper archive.