Cita APA (7a ed.)

Sanabria, M., Varela, C., Rocha, C., & Cardozo, N. (2026). Equational and Inductive Reasoning for Maude in Athena.

Cita Chicago Style (17a ed.)

Sanabria, Mateo, Carlos Varela, Camilo Rocha, y Nicolas Cardozo. Equational and Inductive Reasoning for Maude in Athena. 2026.

Cita MLA (9a ed.)

Sanabria, Mateo, et al. Equational and Inductive Reasoning for Maude in Athena. 2026.