@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 = {--148},
     publisher = {mathdoc},
     volume = {08},
     number = {2},
     year = {1972},
     mrnumber = {0343414},
     zbl = {0242.02014},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1972__8_2_a2/}
}