H. Borges.
"Construindo Tableaux para Lógica Linear Intuicionista", in <em>Anais do III Workshop Brasileiro de Lógica</em>, Niterói, 2022, pp. 1-8, doi: <a href="https://doi.org/10.5753/wbl.2022.222837">https://doi.org/10.5753/wbl.2022.222837</a>.