M. Fink: "Declarative Logic-Programming Components for Information Agents"; Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002.
http://www.kr.tuwien.ac.at/staff/michael/research/thesis.ps.gz