@article{AngerKonczakLinke2002,
  author    = {Christian Anger and Kathrin Konczak and Thomas Linke},
  title     = {NoMoRe: Non-monotonic reasoning with logic programs},
  year      = {2002},
}