@entry{dar-kun-14-aa,
  author = {E Darulova and V Kuncak},
  title = {Sound compilation of reals},
  journal = {Proceedings of the 41st ACM SIGPLAN-SIGACT ...,},
  year = 2014,
  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 ...}
}