Нікітченко, М., Шкільняк, О., & Шкільняк, С. (2020). Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення. Проблеми програмування.
Чикаго стиль цитування (17-те видання)Нікітченко, М.С, О.С Шкільняк, та С.С Шкільняк. "Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення." Проблеми програмування 2020.
Стиль цитування MLA (8-ме видання)Нікітченко, М.С, et al. "Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення." Проблеми програмування, 2020.
Попередження: стилі цитування не завжди правильні на всі 100%.