Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas.

Alan Skelley

Browse the full ICALP paper archive.