Hans Kleine Büning, Uwe Bubeck. Theory of Quantified Boolean Formulas. 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]
@incollection{BuningB09,
title = {Theory of Quantified Boolean Formulas},
author = {Hans Kleine Büning and Uwe Bubeck},
year = {2009},
doi = {10.3233/978-1-58603-929-5-735},
url = {http://dx.doi.org/10.3233/978-1-58603-929-5-735},
researchr = {https://researchr.org/publication/BuningB09},
cites = {0},
citedby = {0},
pages = {735-760},
booktitle = {Handbook of Satisfiability},
editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh},
volume = {185},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-929-5},
}