Alonderis, R. (1998) “On intuitionistic branching tense logic with weak induction”, Lietuvos matematikos rinkinys, 38(II), pp. 295–301 . doi:10.15388/LMD.1998.37921.