Citação norma APA

Новосельцев В. Б. Виталий Борисович. (2008). Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов. 2008.

Citação norma Chicago

Новосельцев В. Б. Виталий Борисович. Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов. 2008, 2008.

Citação norma MLA

Новосельцев В. Б. Виталий Борисович. Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов. 2008, 2008.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.