On the Expressiveness and Complexity of ATL.

Franois Laroussinie, Nicolas Markey, Ghassan Oreiby

Browse the full FOSSACS paper archive.