Quantified propositional calculus and a second-order theory for NC1 (0)

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