Shchekotykhin, 2014. Interactive Debugging of ASP Programs.