@article{Melham:2013:OSR,
  title = "On the Semantics of Re{FL}ect as a Basis for a Reflective Theorem Prover",
  author = "Tom Melham and Raphael Cohn and Ian Childs",
  year = "2013",
  journal = "arXiv Computing Research Repository",
  month = "September",
  url = "https://arxiv.org/abs/1309.5742",
  volume = "arXiv:1309.5742 [cs.LO]",
}