Nominal disunification - Vale, Deivid Rodrigues do (2019)
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2019.