T. Eiter, M. Mehuljic, C. Redl, P. Schüller: "User Guide: dlvhex 2.X"; Bericht für TU Wien; Berichts-Nr. INFSYS RR-1843-15-05, 2015; 46 S.
Projektleitung Thomas Eiter: Integrated Evaluation of Answer Set Programs and Extensions