P. Traxler: "Techniques for Simplifying Disjunctive Datalog Programs with Negation"; Supervisor: T. Eiter, S. Woltran; Institut fuer Informationssystem, 184/3, 2006; final examination: 2006.