@inproceedings{DBLP:conf/wlp/Schaub06, title = {Tableaux Calculi for Answer Set Programming}, author = {Schaub, Torsten}, booktitle = {{WLP}}, pages = {1--11}, publisher = {Technische Universit{\"{a}}t Wien, Austria}, series = {{INFSYS} Research Report}, volume = {1843-06-02}, year = {2006} }