P. Damas Beites, M. C. Rosas Pereira Peixoto da Costa, y 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, mar. 2020.