[1] A. Špaček: Statistical estimation of provability in Boolean logics. In: Transactions of the Second Prague Conference on Information Theory, Statistical Decision Functions, Random Processes. NČSAV, Prague 1960, pp. 609-626. MR 0123477

[2] I. Kramosil: Statistical approach to proof theory. Supplement to Kybernetika 15 (1979), 98 pp. MR 0562376 | Zbl 0445.68068

[3] I. Kramosil: Computational complexity of a statistical verification procedure for prepositional calculus. In: Third Czechoslovak-Soviet-Hungarian Seminar on Information Theory, institute of Information Theory and Automation, Czechoslovak Academy of Sciences, 1980, pp. 123-130.