Juris Hartmanis On the Succinctness of Different Representations of Languages. 114-120 1980 9 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp9.html#Hartmanis80