Бедратюк, Г. І. Системи комп’ютерної алгебри в математичній логіці. EEJET 2012, 3, 32-35.