@misc {IOPORT.70945015,
    author       = {Laroussinie, Fran\c{c}ois and Markey, Nicolas and Oreiby, Ghassan},
    title        = {On the expressiveness and complexity of ATL},
    howpublished = {FoSSaCS, 243-257 (2007).},
    year         = {2007},
    doi          = {10.1007/978-3-540-71389-0_18},
    identifier   = {70945015},
}