Computer Runtimes and the Length of Proofs
scientific article