@InProceedings{ankoli01b,
  author =	 "C. Anger and K. Konczak and T. Linke",
  title =	 "{\tt NoMoRe}:  A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics",
  editor =	 "R.~Gor\'{e}, A.~Leitsch and T.~Nipkow",
  pages =	 "325-330",
  booktitle =	 "Proceedings of the First International Joint Conference on
            Automated Reasoning (IJCAR'01)",
  year =	 2001,
  publisher =	 Springer
}