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