T. Eiter, C. Redl, P. Schüller:
"Problem Solving Using the HEX Family";
Report No. NFSYS RR-1843-15-07, 2015; 26 pages.
http://publik.tuwien.ac.at/files/PubDat_246239.pdf
Project Head Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions