@inproceedings{TUW-140567,
  added-at = {2008-12-18T09:41:24.000+0100},
  author = {Egly, Uwe and Seidl, Martina and Woltran, Stefan},
  biburl = {http://www.bibsonomy.org/bibtex/20959188c18b01739bba57a84c6f6640d/big},
  booktitle = {Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling},
  interhash = {812b5628c84d9b3949c3e805f4d2be1d},
  intrahash = {0959188c18b01739bba57a84c6f6640d},
  keywords = {imported},
  timestamp = {2008-12-18T09:41:24.000+0100},
  title = {A Solver for QBFs in Nonprenex Form: Overview and Experimental Results},
  year = 2006
}