DAMAS BEITES, P.; ROSAS PEREIRA PEIXOTO DA COSTA, M. C.; FRAZÃO RODRIGUES BRANCO, M. L. Proof schemes for linear algebra with logical value true. Revista Latinoamericana de Investigación en Matemática Educativa, v. 23, n. 1, 20 Mar.2020.