Alechina, N.; Demri, S.; Logan, B. Parameterised Resource-Bounded ATL. AAAI 2020, 34, 7040-7046.