P, NP, Co-NP and Weak Systems of Arithmetic.

Claude Sureson P, NP, Co-NP and Weak Systems of Arithmetic. 145-163 1996 154 Theor. Comput. Sci. 2 db/journals/tcs/tcs154.html#Sureson96 http://dx.doi.org/10.1016/0304-3975(95)00099-2