Шкільняк, С. (2013). Секвенційні системи логічного виведення першопорядкових логік часткових предикатів. Компьютерная математика.
Чикаго стиль цитування (17-те видання)Шкільняк, С.С. "Секвенційні системи логічного виведення першопорядкових логік часткових предикатів." Компьютерная математика 2013.
Стиль цитування MLA (8-ме видання)Шкільняк, С.С. "Секвенційні системи логічного виведення першопорядкових логік часткових предикатів." Компьютерная математика, 2013.
Попередження: стилі цитування не завжди правильні на всі 100%.