Ravi Kumar, D. Sivakumar: Proofs, Codes, and Polynomial-Time Reducibilities. CCC 1999: 46-53