Nominal commutative narrowing - Souza, Daniella Santaguida Magalhães de (2022)
Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2022.