He, Leifeng, and Guanjun Liu. “Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams”. COMPUTING AND INFORMATICS 40, no. 5 (December 31, 2021): 1174–1196. Accessed May 5, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/2021_5_1174.