Бедратюк, Г. І. (2012) “Systems of computer algebra in mathematical logic”, Eastern-European Journal of Enterprise Technologies, 3(4(57), pp. 32–35. doi: 10.15587/1729-4061.2012.4011.