V.M. Glushkov and automated theorem proving in Ukraine: evidence algorithm evidence algorithm and SAD systems. ММС [Internet]. 2020 Dec. 1 [cited 2026 Aug. 11];(4):3–10. Available from: https://www.j-mms.de/index.php/mms/article/view/2020-4-a1