@article{DBLP:journals/corr/FichteHMW17,
title = {Answer Set Solving with Bounded Treewidth Revisited},
author = {Fichte, Johannes Klaus and Hecher, Markus and Morak, Michael and Woltran, Stefan},
journal = {CoRR},
volume = {abs/1702.02890},
year = {2017}
}