Damas Beites, Patrícia, et al. “Proof Schemes for Linear Algebra With Logical Value True”. Revista Latinoamericana de Investigación en Matemática Educativa, vol. 23, no. 1, Mar. 2020, https://doi.org/10.12802/relime.20.2312.