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, doi: 10.34739/si.2021.25.01.