Boolean programs and quantified propositional proof systems (1999)

by Stephen Cook, Michael Soltys
Venue:Bulletin of the Section of Logic