@entry{osb-che-cou-luk-men-07-aa-minbit,
  author = {WG Osborne and RCC Cheung...},
  title = {Automatic accuracy-guaranteed bit-width optimization for fixed and floating-point systems},
  journal = {... Conference on Field ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2007,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/4380730/?casa_token=6lAEGxcwC7QAAAAA:IRGqCzaTVpCRA6w5eWUN8cYLvrzX7vNbYwbdHdenxiHZ-nwCMNSLeTLvXwf_cz64CE81I7cZ}}},
  quotes = {... affine arithmetic are designed to optimize. The range analysis stage in our system combines interval and affine arithmetic ... interval arithmetic, whereas it does if you use affine arithmetic. ...}
}