@article{KYB_1973_9_3_a1,
     author = {Kramosil, Ivan},
     title = {A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. {II.} {A} method for statistical testing of an at random sampled formula},
     journal = {Kybernetika},
     pages = {162--173},
     year = {1973},
     volume = {9},
     number = {3},
     mrnumber = {0343415},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1973_9_3_a1/}
}