H. Tompits: "Quantifizierte Boole'sche Formeln für Anwendungen in der Wissensrepräsentation"; Talk: Seminarvortrag, Universität Leipzig (invited); 2003-05-13.