@article{TUW-165746, author = {Egly, Uwe and Seidl, Martina and Woltran, Stefan}, title = {A Solver for QBFs in Negation Normal Form}, journal = {Constraints}, year = {2009}, volume = {14}, number = {1}, pages = {38--79}, url = {http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10601-008-9055-y} }