Alonderis, R. On Intuitionistic Branching Tense Logic With Weak Induction. LMR 1998, 38 (II), 295–301 . https://doi.org/10.15388/LMD.1998.37921.