R. Alonderis, “On intuitionistic branching tense logic with weak induction”, LMR, vol. 38, no. II, pp. 295–301 , Dec. 1998, doi: 10.15388/LMD.1998.37921.