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