He, L. and Liu, G. (2021) “Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams”, Computing and Informatics, 40(5), pp. 1174–1196. doi: 10.31577/cai_2021_5_1174.