@inproceedings{DBLP:conf/lpnmr/AngerKL01, author = {Anger, Christian and Konczak, Kathrin and Linke, Thomas}, title = {NoMoRe : {A} System for Non-Monotonic Reasoning under Answer Set Semantics}, booktitle = {{LPNMR}}, series = {Lecture Notes in Computer Science}, volume = {2173}, pages = {406--410}, publisher = {Springer}, year = {2001} }