A detailed study of bounded ACh-unification - Brandão, Guilherme Borges (2024)
Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2024.