ALONDERIS, Romas. On intuitionistic branching tense logic with weak induction. Lietuvos matematikos rinkinys, [S. l.], v. 38, n. II, p. 295–301 , 1998. DOI: 10.15388/LMD.1998.37921. Disponível em: https://journals.vu.lt./LMR/article/view/37921. Acesso em: 19 apr. 2025.