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