Hans Kleine Büning, Marek Karpinski, Andreas Flögel. Resolution for Quantified Boolean Formulas. Inf. Comput., 117(1):12-18, February 1995.
@article{BuningKF95, title = {Resolution for Quantified Boolean Formulas}, author = {Hans Kleine Büning and Marek Karpinski and Andreas Flögel}, year = {1995}, month = {February}, researchr = {https://researchr.org/publication/BuningKF95}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {117}, number = {1}, pages = {12-18}, }