@entry{guy-wah-17-aa,
  author = {Y Gu and T Wahl},
  title = {Stabilizing floating-point programs using provenance analysis},
  journal = {... Conference on Verification, Model Checking, and ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2017,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-319-52234-0_13}}},
  quotes = {... All these works use affine arithmetic [20] as the underlying algebraic structure to keep track of the rounding error. In this paper, we adopt a similar data structure, manifest in the ...}
}