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.