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