@entry{zhu-tah-car-09-aa,
  author = {AY Zhu and W Taha and R Cartwright...},
  title = {In Pursuit of Real Answers},
  journal = {... Software and Systems,},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5066638/?casa_token=YhW-yQfjIHUAAAAA:BfliRhf7Zl-jXgLFBJiHGXjehkGupYMxZP74lun2mGHOa1TyXMh6cnGiLqvIsa0_YsGMdWzK}}},
  quotes = {... Affine arithmetic improves the precision of interval arithmetic [10]. Compared to usual ... Recently, an abstract domain based on affine arithmetic has been proposed in [16]. Modal arith...}
}