Бедратюк, Г. І. “Systems of Computer Algebra in Mathematical Logic”. Eastern-European Journal of Enterprise Technologies, vol. 3, no. 4(57), June 2012, pp. 32-35, doi:10.15587/1729-4061.2012.4011.