T. Eiter, M. Mehuljic, C. Redl, P. Schüller: "User Guide: dlvhex 2.X"; Report for TU Wien; Report No. INFSYS RR-1843-15-05, 2015; 46 pages.
Project Head Thomas Eiter: Integrated Evaluation of Answer Set Programs and Extensions