@inproceedings{TUW-233368, author = {Heule, Marijn and Seidl, Martina and Biere, Armin}, title = {A Unified Proof System for QBF Preprocessing}, booktitle = {Proceedings of the 7th International Joint Conference on Automated Reasoning}, year = {2014}, pages = {91--106}, publisher = {LNCS/Springer}, address = {8562}, url = {http://link.springer.com/chapter/10.1007%2F978-3-319-08587-6_7}, isbn = {978-3-319-08587-6}, note = {Vortrag: IJCAR, Wien; 2014-07-19 -- 2014-07-22} }