«Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”», ITE, вип. 2, с. 130–139, Трав 2008, doi: 10.14308/ite000047.