Kański, Michał, et al. “Unbounded Model Checking for ATL”. Studia Informatica. System and Information Technology, vol. 25, no. 1-2, Dec. 2021, pp. 5-22, https://doi.org/10.34739/si.2021.25.01.