Kański, M. et al. 2021. Unbounded Model Checking for ATL. Studia Informatica. System and information technology. 25, 1-2 (Dec. 2021), 5–22. DOI:https://doi.org/10.34739/si.2021.25.01.