Сінько, Ю. 2008. Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”. Збірник наукових праць "Information Technologies in Education" (ITE). 2 (Трав 2008), 130–139. DOI:https://doi.org/10.14308/ite000047.