Damas Beites P, Rosas Pereira Peixoto da Costa MC, Frazão Rodrigues Branco ML. Proof schemes for linear algebra with logical value true. RELIME [Internet]. 2020 Mar. 20 [cited 2026 Nov. 3];23(1). Available from: https://www.relime.org/index.php/relime/article/view/42