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