@unpublished{TUW-140234, author = {Seidl, Martina}, title = {A Solver for QBFs in Nonprenex Form}, year = {2006}, note = {Posterpr{\"a}sentation: Doctoral Consortium at the KR 2006, Lake District, UK; 2006-06-02 -- 2006-06-05} }