Бедратюк, Ганна Іванівна. «Системи комп’ютерної алгебри в математичній логіці». Eastern-European Journal of Enterprise Technologies 3, no. 4(57) (Червень 1, 2012): 32–35. дата звернення Липень 17, 2024. https://journals.uran.ua/eejet/article/view/4011.