Tableau Calculi for Answer Set Programming.

Martin Gebser, Torsten Schaub

Browse the full ICLP paper archive.