“Esquemas de demonstração para proposições de álgebra linear com valor lógico verdade”, RELIME, vol. 23, no. 1, Mar. 2020, doi: 10.12802/relime.20.2312.