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