Kański, M., A. Niewiadomski, M. Kacprzak, W. Penczek, and W. Nabiałek. “Unbounded Model Checking for ATL”. Studia Informatica. System and Information Technology, vol. 25, no. 1-2, Dec. 2021, pp. 5-22, doi:10.34739/si.2021.25.01.