Alonderis, Romas. “On Intuitionistic Branching Tense Logic With Weak Induction”. Lietuvos matematikos rinkinys 38, no. II (December 14, 1998): 295–301 . Accessed January 18, 2026. https://www.zurnalai.vu.lt/LMR/article/view/37921.