Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin.

Melanie Frhstck, Jrg Phrer, Gerhard Friedrich

Browse the full LPNMR paper archive.