APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.