Г. І. Бедратюк, “Systems of computer algebra in mathematical logic”, EEJET, vol. 3, no. 4(57), pp. 32–35, Jun. 2012.