@inproceedings{DBLP:conf/lpnmr/BorchertAST04, title = {Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative}, author = {Borchert, Paul and Anger, Christian and Schaub, Torsten and Truszczynski, Miroslaw}, booktitle = {{LPNMR}}, pages = {3--7}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {2923}, year = {2004} }