@article{ZNSL_2008_358_a8,
     author = {S. Cavagnetto},
     title = {The {Lengths} of {Proofs:} {Kreisel's} conjecture and {G\"odel's} speed-up theorem},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {153--188},
     publisher = {mathdoc},
     volume = {358},
     year = {2008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_2008_358_a8/}
}