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