Kański M, Niewiadomski A, Kacprzak M, Penczek W, Nabiałek W. Unbounded Model Checking for ATL. SI. 2021;25(1-2):5-22. doi:10.34739/si.2021.25.01