Kański M, Niewiadomski A, Kacprzak M, Penczek W, Nabiałek W. Unbounded Model Checking for ATL. SI [Internet]. 2021 Dec. 23 [cited 2024 Nov. 24];25(1-2):5-22. Available from: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2772