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