C. Redl: "The ABC Benchmarking System User Manual"; Bericht für TU Wien; Berichts-Nr. INFSYS RR-1843-16-01, 2016; 10 S.
Projektleitung Thomas Eiter: Integrated Evaluation of Answer Set Programs and Extensions