@misc{indiciae1d9446661d05,
  title = {Number representations and term rewriting},
  author = {Boas Kluiving and Wijnand van Woerkom},
  year = {2016},
  url = {https://arxiv.org/abs/1607.04500},
  note = {Source identifier: 1607.04500}
}