J. Fandinno and M. Hecher, “Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard”, AAAI, vol. 35, no. 7, pp. 6312-6320, May 2021.