«Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”». Збірник наукових праць "Information Technologies in Education" (ITE), no. 2 (Травень 7, 2008): 130–139. дата звернення Серпень 28, 2026. https://ite.kspu.edu/index.php/ite/article/view/685.