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