Alonderis, Romas. “On Intuitionistic Branching Tense Logic With Weak Induction”. Lietuvos Matematikos Rinkinys, vol. 38, no. II, Dec. 1998, pp. 295–301 , https://doi.org/10.15388/LMD.1998.37921.