TY  - RPRT
TI  - Representing Nonterminating Rewriting with $\mathbf{F}_2^μ$
AU  - Peng Fu
PY  - 2017
UR  - https://arxiv.org/abs/1706.00746
ID  - 1706.00746
ER  -