Succinctness, verifiability and determinism in representations of polynomial time languages (1979)

by T Baker, J Hartmanis
Venue:In Proceedings of the 20th Ann. IEEE Symp. Found. of Comp. Sci