Yoshioka, S. , Tojo, S. (2007), '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, 1(5), 1531 - 1534.