Uwe Egly Martina Seidl Stefan Woltran A Solver for QBFs in Nonprenex Form. 477-481 2006 conf/ecai/2006 ECAI db/conf/ecai/ecai2006.html#EglySW06