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