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