P. Damas Beites, M. C. Rosas Pereira Peixoto da Costa, and M. L. Frazão Rodrigues Branco, “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.