“V.M. Glushkov and Automated Theorem Proving in Ukraine: Evidence Algorithm Evidence Algorithm and SAD Systems”. Mathematical Machines and Systems, no. 4 (December 1, 2020): 3–10. Accessed August 11, 2026. https://www.j-mms.de/index.php/mms/article/view/2020-4-a1.