B. Gramlich: "Strategien in Computationaler Logik"; Talk: Eingeladener Vortrag an Universitaet, Kaiserslautern (Technische Universität) (invited); 2004-06-16.