M. Kański, A. Niewiadomski, M. Kacprzak, W. Penczek, and W. Nabiałek, “Unbounded Model Checking for ATL”, SI, vol. 25, no. 1-2, pp. 5–22, Dec. 2021.