The following publications are possibly variants of this publication:
- Theory of Quantified Boolean FormulasHans Kleine Büning, Uwe Bubeck. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 735-760, IOS Press, 2009. [doi]
- Resolution for Quantified Boolean FormulasHans Kleine Büning, Marek Karpinski, Andreas Flögel. iandc, 117(1):12-18, February 1995.
- Subclasses of Quantified Boolean FormulasAndreas Flögel, Marek Karpinski, Hans Kleine Büning. csl 1991: 145-155
- On Models for Quantified Boolean FormulasHans Kleine Büning, Xishun Zhao. BIRTHDAY 2004: 18-32 [doi]