A New Tree-Decomposition Based Algorithm for Answer Set Programming | IEEE Conference Publication | IEEE Xplore