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 May 24, 2025. https://czasopisma.uph.edu.pl/studiainformatica/article/view/2772.