TY  - RPRT
TI  - An Equational Metalogic for Monadic Equational Systems
AU  - Marcelo Fiore
PY  - 2013
UR  - https://arxiv.org/abs/1309.4821
ID  - 1309.4821
ER  -