@misc{indiciaee66bcfb7b61f,
  title = {A note on invariant temporal functions},
  author = {Olaf Müller},
  year = {2016},
  doi = {10.1007/s11005-016-0850-x},
  url = {https://arxiv.org/abs/1502.02716},
  note = {Source identifier: 1502.02716}
}