Quantified Propositional Calculus and a Second-Order Theory for NC 1 (2004)

by Stephen Cook, Tsuyoshi Morioka
Venue:Archive for Mathematical Logic