@article{GebserSchaubThiele2007,
  author    = {Martin Gebser and Torsten H. Schaub and Sven Thiele},
  title     = {GrinGo : a new grounder for answer set programming},
  year      = {2007},
}