@misc{moura-2015-elaboration,
  author = {Leonardo de Moura and Jeremy Avigad and Soonho Kong and Cody Roux},
  title = {Elaboration in Dependent Type Theory},
  year = {2015},
  month = {5},
  eprint = {1505.04324},
  archiveprefix = {arXiv}
}