Proofs, codes, and polynomial-time reducibilities | IEEE Conference Publication | IEEE Xplore