@article{KYB_1974_10_3_a3,
     author = {Kramosil, Ivan and Zwinogrodzki, Zbigniew},
     title = {Statistical methods for comparing theorem proving algorithms},
     journal = {Kybernetika},
     pages = {221--240},
     year = {1974},
     volume = {10},
     number = {3},
     mrnumber = {0345460},
     zbl = {0284.68068},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1974_10_3_a3/}
}