C. Redl: "The ABC Benchmarking System User Manual"; Report for TU Wien; Report No. INFSYS RR-1843-16-01, 2016; 10 pages.
Project Head Thomas Eiter: Integrated Evaluation of Answer Set Programs and Extensions