@article{AngerKonczakLinke2001,
  author    = {Christian Anger and Kathrin Konczak and Thomas Linke},
  title     = {A system for non-monotonic reasoning under answer set semantics},
  year      = {2001},
}