WASET
Yoshioka, S. , Tojo, S.. "CBCTL: A Reasoning System of TemporalEpistemic Logic with Communication Channel". World Academy of Science, Engineering and Technology, Open Science Index 5, International Journal of Computer and Information Engineering, (2007), 1(5), 1531 - 1534.