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