@article{BrainFaberMarateaetal.2007,
  author    = {Martin Brain and Wolfgang Faber and Marco Maratea and Axel Polleres and Torsten H. Schaub and Roman Schindlauer},
  title     = {What should an ASP solver output? : a multiple position paper},
  year      = {2007},
}