G. Sabbatini: "Declarative Logic Programming for Representing Evolving Nonmonotonic Knowledge Bases"; Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002.