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