TY  - RPRT
TI  - Reversible Computation in Term Rewriting
AU  - Naoki Nishida
AU  - Adrián Palacios
AU  - Germán Vidal
PY  - 2017
UR  - https://arxiv.org/abs/1710.02804
ID  - 1710.02804
ER  -