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