Borges, Hugo.
"Construindo Tableaux para Lógica Linear Intuicionista." <em>Anais do III Workshop Brasileiro de Lógica,
Niterói, 2022</em>. SBC, 2022,  
pp.1-8.