@article{KYB_1972_8_2_a2,
     author = {Kramosil, Ivan},
     title = {A method for random sampling of well-formed formulas. {(A} method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. {I.)}},
     journal = {Kybernetika},
     pages = {133--148},
     year = {1972},
     volume = {8},
     number = {2},
     mrnumber = {0343414},
     zbl = {0242.02014},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1972_8_2_a2/}
}