TY  - RPRT
TI  - DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE
AU  - Philippe Balbiani
AU  - Andreas Herzig
AU  - François Schwarzentruber
AU  - Nicolas Troquard
PY  - 2014
UR  - https://arxiv.org/abs/1411.7825
ID  - 1411.7825
ER  -