"A Unified Proof System for QBF Preprocessing."

Marijn Heule, Martina Seidl, Armin Biere (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics