Borges, H.
(2022).
Construindo Tableaux para Lógica Linear Intuicionista.
In <em>Anais do III Workshop Brasileiro de Lógica</em>, (pp. 1-8). Porto Alegre: SBC.
doi:10.5753/wbl.2022.222837