Answer Set Solving with Bounded Treewidth Revisited | Read Paper on Bytez