Cita APA

Troya Castilla, J., & Vallecillo Moreno, A. (2011). A Rewriting Logic Semantics for ATL.

Citación estilo Chicago

Troya Castilla, Javier, y Antonio Vallecillo Moreno. A Rewriting Logic Semantics for ATL. 2011.

Cita MLA

Troya Castilla, Javier, y Antonio Vallecillo Moreno. A Rewriting Logic Semantics for ATL. 2011.

Precaución: Estas citas no son 100% exactas.