@inproceedings{DBLP:conf/cade/AngerKL01, title = {NoMoRe : {A} System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics}, author = {Anger, Christian and Konczak, Kathrin and Linke, Thomas}, booktitle = {{IJCAR}}, pages = {325--330}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {2083}, year = {2001} }