@entry{dar-kun-14-aa-soundcp,
  author = {E Darulova and V Kuncak},
  title = {Sound compilation of reals},
  journal = {Proceedings of the 41st ACM SIGPLAN-SIGACT ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2014,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/2535838.2535874?casa_token=A7GfY0wUEEUAAAAA:XkU4mFdssBDama9hKspdh8eCjlkrytP2C5BeQon8EvRmf-i9tNaZq4tSmo9VZaZlRZJpfbbEfnc}}},
  quotes = {... For completeness of presentation, we first review interval and affine arithmetic which are ... that can be a more precise substitute for interval or affine arithmetic. Finally, we continue with a ...}
}