Fandinno, J.; Hecher, M. Treewidth-Aware Complexity in ASP: Not All Positive Cycles Are Equally Hard. AAAI 2021, 35, 6312-6320.