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