Kański, M., Niewiadomski, A., Kacprzak, M., Penczek, W. and Nabiałek, W. (2021) “Unbounded Model Checking for ATL”, Studia Informatica. System and information technology, 25(1-2), pp. 5–22. doi: 10.34739/si.2021.25.01.