Towards a Rewriting Logic Semantics for ATL | Publicación