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