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