Сінько, Ю. “Методичні особливості вивчення деяких тем розділу «Алгебра висловлень» з використанням інтегрованого програмного середовища «МатЛог»”. Scientific Journal of the Mykhailo Dragomanov Ukrainian State University. Series 2. Computer-Oriented Learning Systems, no. 6 (13), Feb. 2008, pp. 158-65, https://sj.udu.edu.ua/index.php/kosn/article/view/525.