WASET
    Suguru Yoshioka and  Satoshi Tojo,  CBCTL: A Reasoning System of TemporalEpistemic Logic with Communication Channel.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    May 2007, vol. 5(5). 1531 - 1534
    [viewed 19 September 2024]. Available from: https://publications.waset.org/pdf/5736.