@article{AngerGebserLinkeetal.2005,
  author    = {Christian Anger and Martin Gebser and Thomas Linke and Andre Neumann and Torsten H. Schaub},
  title     = {The nomore++ approach to answer set solving},
  url       = {http://www.cs.uni-potsdam.de/wv/pdfformat/angelinesc05c.pdf},
  year      = {2005},
}