Knowledge Processing and Information Systems
Tableau Calculi for Logic Programs under Answer Set Semantics

@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}
}