Borges, Hugo.
" Building Tableaux for Intuitionistic Linear Logic" <em>Proceedings of the Brazilian Workshop of Logic (WBL)</em> [Online], (31 July 2022)