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