"Extended Failed-Literal Preprocessing for Quantified Boolean Formulas."

Allen Van Gelder, Samuel B. Wood, Florian Lonsing (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics