@article{GerbserSchaub2006,
  author    = {Martin Gerbser and Torsten H. Schaub},
  title     = {Tableau calculi for answer set programming},
  doi       = {10.1007/11799573},
  url       = {http://www.cs.uni-potsdam.de/wv/pdfformat/gebsch06c.pdf},
  year      = {2006},
}