Бедратюк, Ганна Іванівна. “Systems of Computer Algebra in Mathematical Logic”. Eastern-European Journal of Enterprise Technologies 3, no. 4(57) (June 1, 2012): 32–35. Accessed February 28, 2026. https://journals.uran.ua/eejet/article/view/4011.