P. Damas Beites, M. C. Rosas Pereira Peixoto da Costa, et M. L. Frazão Rodrigues Branco, « Esquemas de demonstração para proposições de álgebra linear com valor lógico verdade », RELIME, vol. 23, nᵒ 1, mars 2020, doi: 10.12802/relime.20.2312.