Subclasses of Quantified Boolean Formulas

@inproceedings{Flgel1990SubclassesOQ,
  title={Subclasses of Quantified Boolean Formulas},
  author={Andreas Fl{\"o}gel and Marek Karpinski and Hans Kleine B{\"u}ning},
  booktitle={CSL},
  year={1990}
}