Towards Debugging of Answer-Set Programs in the Language PSpb. - Artur Mikitiuk; Eric Moseley; Miroslaw Truszczynski (IC-AI, 2007)