K. Shchekotykhin, “Interactive Query-Based Debugging of ASP Programs”, AAAI, vol. 29, no. 1, Feb. 2015.