Approximating ATL* in ATL

[HardingSchobbensRyan2002] Aidan Harding, Mark Ryan and Pierre-Yves Schobbens. Approximating ATL* in ATL. In Third International Workshop on Verification, Model Checking and Abstract Interpretation, volume 2294 of Lecture Notes in Computer Science, pages 289-301, Springer. 2002.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/02-atl-translation.ps.gz