@inproceedings{DBLP:conf/lpnmr/FichteHMW17, title = {Answer Set Solving with Bounded Treewidth Revisited}, author = {Fichte, Johannes Klaus and Hecher, Markus and Morak, Michael and Woltran, Stefan}, booktitle = {{LPNMR}}, pages = {132--145}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {10377}, year = {2017} }