@article{AngerKonczakLinke2002,
  author    = {Christian Anger and Kathrin Konczak and Thomas Linke},
  title     = {NoMoRe: A system for non-monotonic reasoning with logic programs under answer set semantics},
  year      = {2002},
}