What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

Browse the full CONCUR paper archive.