@inproceedings{DBLP:conf/lata/FichteHS18, author = {Fichte, Johannes Klaus and Hecher, Markus and Schindler, Irina}, title = {Default Logic and Bounded Treewidth}, booktitle = {{LATA}}, series = {Lecture Notes in Computer Science}, volume = {10792}, pages = {130--142}, publisher = {Springer}, year = {2018} }