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