Shchekotykhin. Interactive Debugging of ASP Programs. 28 Oct. 2014.