@inproceedings{TUW-140235, author = {Egly, Uwe and Seidl, Martina and Woltran, Stefan}, title = {A Solver for QBFs in Nonprenex Form}, booktitle = {Proceedings of the ECAI 2006}, year = {2006}, pages = {477--481}, publisher = {IOS Press}, url = {http://www.big.tuwien.ac.at/research/publications/2006/3506.pdf}, isbn = {1-58603-642-4}, note = {Vortrag: 17th European Conference on Artificial Intelligence, Riva del Garda, Italy; 2006-08-29 -- 2006-09-01} }