Sitnikovski B. BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER. CAJMTCS [Internet]. 2023 Apr. 21 [cited 2026 Apr. 28];4(4):41-5. Available from: https://cajmtcs.casjournal.org/index.php/CAJMTCS/article/view/420