@article{KYB_1980_16_3_a0,
     author = {Kramosil, Ivan},
     title = {Statistical testing procedure for lengths of formalized proofs},
     journal = {Kybernetika},
     pages = {209--224},
     year = {1980},
     volume = {16},
     number = {3},
     mrnumber = {587569},
     zbl = {0444.03007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1980_16_3_a0/}
}