Borges, H.
2022 jul 31.  Construindo Tableaux para Lógica Linear Intuicionista. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :