[1]
Kański, M., Niewiadomski, A., Kacprzak, M., Penczek, W. and Nabiałek, W. 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.