@misc{indiciae85f6bbe5a776,
  title = {Clocked Definitions in HOL},
  author = {Ramana Kumar and Magnus O. Myreen},
  year = {2018},
  url = {https://arxiv.org/abs/1803.03417},
  note = {Source identifier: 1803.03417}
}