@entry{con-gur-liu-liu-zha-zho-zou-09-aa-static,
  author = {J Cong and K Gururaj and B Liu and C Liu and Z Zhang...},
  title = {Evaluation of static analysis techniques for fixed-point precision optimization},
  journal = {2009 17th IEEE ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5290921/?casa_token=3shfP2RHQ1sAAAAA:Dm7nyLYHwAwMg6393_R8UkEIM0hpB8e0w0KxJiHKubFTMRK2TMj0Ezt4B7KsKDCo58Jks6JK}}},
  quotes = {... To use affine arithmetic for precision analysis, we can express both x and Ex as affine ... However, the terms xEy and yEx are not in affine form, and multiplication in affine arithmetic ...}
}