Alechina, Natasha, Stéphane Demri, and Brian Logan. 2020. “Parameterised Resource-Bounded ATL”. Proceedings of the AAAI Conference on Artificial Intelligence 34 (05):7040-46. https://doi.org/10.1609/aaai.v34i05.6189.