@inproceedings{DBLP:conf/iclp/GebserS06, title = {Tableau Calculi for Answer Set Programming}, author = {Gebser, Martin and Schaub, Torsten}, booktitle = {{ICLP}}, pages = {11--25}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4079}, year = {2006} }