Kański, Michał, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, and Wojciech Nabiałek. “Unbounded Model Checking for ATL”. Studia Informatica. System and information technology 25, no. 1-2 (December 23, 2021): 5–22. Accessed April 25, 2024. https://czasopisma.uph.edu.pl/studiainformatica/article/view/2772.