Alechina, N., Demri, S., & Logan, B. (2020). Parameterised Resource-Bounded ATL. Proceedings of the AAAI Conference on Artificial Intelligence, 34(05), 7040-7046. https://doi.org/10.1609/aaai.v34i05.6189