%0 Journal Article %A Lutz, Carsten %A Walther, Dirk %D 2005 %I Taylor & Francis Group %J Journal of Applied Non-Classical Logics %N 2 %P 189-213 %T PDL with negation of atomic programs %V 15