"Ryo Kashima,Tatsuya Shimura","Cut-Elimination Theorem for the Logic of Constant Domains",,"Mathematical Logic Quarterly",,"Vol. 40",,"pp. 153",1994,
"RYO KASHIMA","Cut-Free Sequent Calculi for Some Tense Logics",,"Studia Logica",,"Vol. 53",,"pp. 119",1994,