T. Eiter, C. Redl, P. Schüller:
"Problem Solving Using the HEX Family";
in: "60 Birthday: Gabriele Kern-Isberner, 2016", herausgegeben von: Christoph Beierle, Gerhard Brewka, Matthias Thimm; College Publications, 2016, ISBN: 978-1-84890-198-8, S. 150 - 174.
Projektleitung Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions