Resolution for quantified boolean formulas (1995)

by Hans Kleine Büning, Marek Karpinski, Andreas Flögel
Venue:Information and Computation