@entry{jac-ved-19-aa-divmet,
  author = {M Jacquemin and F V{\'e}drine},
  title = {A Dividing Method Minimizing the Linearization Term in Affine Arithmetic},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2022,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://staticanalysis.org/nsad2019/papers/NSAD2019_paper_5_WM.pdf}}},
  quotes = {... This formulation of our condition is linear in x and y and so can be computed exactly using}
}