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