Kański, M. (2021) “Unbounded Model Checking for ATL”, Studia Informatica. System and information technology, 25(1-2), pp. 5–22. doi:10.34739/si.2021.25.01.