Kański, M., Niewiadomski, A., Kacprzak, M., Penczek, W., & Nabiałek, W. (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