Alonderis, R. (1998). On intuitionistic branching tense logic with weak induction. Lietuvos Matematikos Rinkinys, 38(II), 295–301 . https://doi.org/10.15388/LMD.1998.37921