В.М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи SAD. ММС. 2020;(4):3–10. doi:10.34121/1028-9763-2020-4-3-10