The Impact of Treewidth on Grounding and Solving of Answer Set Programs. - Bliem, Bernhard; Morak, Michael; Moldovan, Marius; Woltran, Stefan (Journal of Artificial Intelligence Research, 2020)