%0 Journal Article
%A Hartmanis, J.
%T On effective speed-up and long proofs of trivial theorems in formal theories
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1976
%P 29-38
%V 10
%N R1
%I Dunod-Gauthier-Villars
%C Paris
%U http://geodesic.mathdoc.fr/item/ITA_1976__10_1_29_0/
%G en
%F ITA_1976__10_1_29_0