Citação norma APA

Avelar, A. B. (2011). Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem.

Citação norma Chicago

Avelar, Andréia Borges. Formalização Da Prova Do Teorema De Existência De Unificadores Mais Gerais Em Teorias De Primeira-ordem. 2011.

Citação norma MLA

Avelar, Andréia Borges. Formalização Da Prova Do Teorema De Existência De Unificadores Mais Gerais Em Teorias De Primeira-ordem. 2011.

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