TY  - RPRT
TI  - Equational and Inductive Reasoning for Maude in Athena
AU  - Mateo Sanabria
AU  - Carlos Varela
AU  - Camilo Rocha
AU  - Nicolas Cardozo
PY  - 2026
UR  - https://arxiv.org/abs/2604.19475
ID  - 2604.19475
ER  -