@entry{dar-kun-11-ac,
  author = {E Darulova and V Kuncak},
  title = {On the Design and Implementation of SmartFloat and Af\uc{fb01}neFloat},
  journal = {},
  year = 2011,
  url = {{\url{https://infoscience.epfl.ch/record/164956/files/smartfloat_techreport.pdf}}},
  quotes = {... On the other hand, using our affine-arithmeticbased type we compute an absolute error of 1.34 \uc{2217} 10\uc{2212}15, which is (by the correctness of our approach) sound, yet several orders of ...}
}