@article{GebserSchaub2007,
  author    = {Martin Gebser and Torsten H. Schaub},
  title     = {Generic tableaux for answer set programming},
  year      = {2007},
}