L. V. S. das Flores, J. de O. Crispim, D. F. Dantas, e H. H. P. Oliveira, “Monitoria em Lógica 2025 lógica formal: Família acolhedora e a restrição do termo de não adoção”, ENID, out. 2026.