TY  - RPRT
TI  - Number representations and term rewriting
AU  - Boas Kluiving
AU  - Wijnand van Woerkom
PY  - 2016
UR  - https://arxiv.org/abs/1607.04500
ID  - 1607.04500
ER  -