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