Ю. Сінько, «Методичні особливості вивчення деяких тем розділу «Алгебра висловлень» з використанням інтегрованого програмного середовища ‘МатЛог’», kosn, вип. 6 (13), с. 158–165, Лют 2008.