“Solving General Tasks in Probability Theory by Using Mathematical Logic”. SPIIRAS Proceedings 6, no. 43 (November 25, 2015): 27-49. Accessed November 9, 2026. https://plantprotect.ru/index.php/sp/article/view/3115.