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