Selected papers that cite this one Claude Sureson. P, NP, Co-NP and weak systems of arithmetic. Theoretical Computer Science, 154(2):145-163, 5 February 1996.