"Towards a Rewriting Logic Semantics for ATL."

Javier Troya, Antonio Vallecillo (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics