A Rewriting Logic Semantics for ATL. | Publicación