Borges, Hugo.
" Construindo Tableaux para Lógica Linear Intuicionista" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (31 julho 2022)