@article{GebserSchaub2013,
  author    = {Martin Gebser and Torsten H. Schaub},
  title     = {Tableau calculi for logic programs under answer set semantics},
  journal   = {ACM transactions on computational logic},
  volume    = {14},
  number    = {2},
  doi       = {10.1145/2480759.2480767},
  year      = {2013},
}