J. Ji, H. Wan, and P. Xiao, “On Elementary Loops and Proper Loops for Disjunctive Logic Programs”, AAAI, vol. 29, no. 1, Feb. 2015.