(1)
Kański, M.; Niewiadomski, A.; Kacprzak, M.; Penczek, W.; Nabiałek, W. Unbounded Model Checking for ATL. SI 2021, 25, 5-22.