TY  - RPRT
TI  - Complexity Results and Practical Algorithms for Logics in Knowledge Representation
AU  - Stephan Tobies
PY  - 2001
UR  - https://arxiv.org/abs/cs/0106031
ID  - cs/0106031
ER  -