Kański, Michał, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, and Wojciech Nabiałek. 2021. “Unbounded Model Checking for ATL”. Studia Informatica. System and Information Technology 25 (1-2):5-22. https://doi.org/10.34739/si.2021.25.01.