1.
Alechina N, Demri S, Logan B. Parameterised Resource-Bounded ATL. AAAI [Internet]. 2020Apr.3 [cited 2021Apr.15];34(05):7040-6. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/6189