Kański, M.; Niewiadomski, A.; Kacprzak, M.; Penczek, W.; Nabiałek, W. Unbounded Model Checking for ATL. SI 2021, 25 (1-2), 5-22. https://doi.org/10.34739/si.2021.25.01.