@article{DBLP:journals/tocl/GebserS13, title = {Tableau Calculi for Logic Programs under Answer Set Semantics}, author = {Gebser, Martin and Schaub, Torsten}, journal = {{ACM} Trans. Comput. Log.}, number = {2}, pages = {15:1--15:40}, volume = {14}, year = {2013} }