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