M. Seidl:
"A Solver for Quantified Boolean Formulas in Negation Normal Form";
Talk: GI-Dissertationskolloquium, Dagstuhl (invited); 2008-04-27 - 2008-04-30; in: "Ausgezeichnete Informatikdissertationen 2007", D. Wagner et al. (ed.); Gesellschaft für Informatik (GI), Lecture Notes in Informatics (LNI)/D-8/Bonn (2008), ISBN: 978-3-88579-412-7; 271 - 280.