C. Drescher:
"Symmetry Breaking for Answer Set Programming";
Supervisor: T. Eiter, M. Fink, T. Krennwallner, T. Walsh; Institut für Informationssysteme, 2010.
Project Head Thomas Eiter:
Modulare HEX-Programme
Project Head Michael Fink:
Inconsistency Management for Knowledge-Integration Systems