DAMAS BEITES, P.; ROSAS PEREIRA PEIXOTO DA COSTA, M. C.; FRAZÃO RODRIGUES BRANCO, M. L. Esquemas de demonstração para proposições de álgebra linear com valor lógico verdade. Revista Latinoamericana de Investigación en Matemática Educativa, v. 23, n. 1, 20 mars2020.