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