Flores, L. V. S. das; Crispim, J. de O.; Dantas, D. F.; Oliveira, H. H. P. Monitoria Em Lógica 2025 lógica Formal: Família Acolhedora E a restrição Do Termo De não adoção. ENID 2026.