P. Damas Beites, M. C. Rosas Pereira Peixoto da Costa, and M. L. Frazão Rodrigues Branco, “Proof schemes for linear algebra with logical value true”, RELIME, vol. 23, no. 1, Mar. 2020, doi: 10.12802/relime.20.2312.