TY - JOUR A1 - Borchert, P. A1 - Anger, Christian A1 - Schaub, Torsten H. A1 - Truszczynski, M. T1 - Towards systematic benchmarking in answer set programming : the dagstuhl initiative Y1 - 2004 UR - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/13997 SN - 3-540- 20721-x ER -