Subclasses of Quantified Boolean Formulas. - Andreas Flögel; Marek Karpinski; Hans Kleine Büning (CSL, 1990)

Resolution für quantifizierte Bool'sche Formeln. - Andreas Flögel (1993)

On the Restricted Equivalence Subclasses of Propositional Logic. - Andreas Flögel; Hans Kleine Büning; Theodor Lettmann (RAIRO Theor. Informatics Appl., 1993)

Resolution for Quantified Boolean Formulas - Hans Kleine Büning; Marek Karpinski; Andreas Flögel (Inf. Comput., 1995)