“Solving General Tasks in Probability Theory by Using Mathematical Logic”, SP, vol. 6, no. 43, pp. 27-49, Nov. 2015.