В.М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи SAD. Математичні машини і системи, [S. l.], n. 4, p. 3–10, 2020. DOI: 10.34121/1028-9763-2020-4-3-10. Disponível em: https://www.j-mms.de/index.php/mms/article/view/2020-4-a1. Acesso em: 11 сер. 2026.