Damas Beites, P.; Rosas Pereira Peixoto da Costa, M. C.; Frazão Rodrigues Branco, M. L. Proof Schemes for Linear Algebra With Logical Value True. RELIME 2020, 23 (1). https://doi.org/10.12802/relime.20.2312.