Сінько, Ю. «Методичні особливості вивчення деяких тем розділу «Алгебра висловлень» з використанням інтегрованого програмного середовища ‘МатЛог’». Науковий часопис Українського державного університету імені Михайла Драгоманова. Серія 2. Комп’ютерно-орієнтовані системи навчання, вип. 6 (13), Лютий 2008, с. 158-65, https://sj.udu.edu.ua/index.php/kosn/article/view/525.