TY  - RPRT
TI  - Default Logic and Bounded Treewidth
AU  - Johannes K. Fichte
AU  - Markus Hecher
AU  - Irina Schindler
PY  - 2017
UR  - https://arxiv.org/abs/1706.09393
ID  - 1706.09393
ER  -