Sitnikovski, Boro. “BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER”. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES 4, no. 4 (April 21, 2023): 41–45. Accessed April 28, 2026. https://cajmtcs.casjournal.org/index.php/CAJMTCS/article/view/420.