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