A. Rainer: "Web Service Composition using Logic Programming"; Supervisor, Reviewer: J. Dorn, K. Fröschl; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006.