Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. - Paul Borchert; Christian Anger; Torsten Schaub; Miroslaw Truszczynski (LPNMR, 2004)