Alonderis, R. (2001) “Relation between classical and intuitionistic sequent calculi of temporal logic”, Lietuvos matematikos rinkinys, 41(spec.), pp. 403–407. doi:10.15388/LMR.2001.34620.