Shchekotykhin, K. Interactive Query-Based Debugging of ASP Programs. AAAI 2015, 29.