Stephen A. Cook, Tsuyoshi Morioka: Quantified propositional calculus and a second-order theory for NC<sup>1</sup>. Arch. Math. Log. 44(6): 711-749 (2005)