«В.М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи SAD». Математичні машини і системи, no. 4 (Грудень 1, 2020): 3–10. дата звернення Серпень 11, 2026. https://www.j-mms.de/index.php/mms/article/view/2020-4-a1.