“Solving General Tasks in Probability Theory by Using Mathematical Logic” (2015) SPIIRAS Proceedings, 6(43), pp. 27-49. DOI: 10.15622/sp.43.2.