@entry{bol-con-10-aa-autopol,
  author = {D Boland and GA Constantinides},
  title = {Automated precision analysis: A polynomial algebraic approach},
  journal = {2010 18th IEEE Annual ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2010,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5474056/?casa_token=Ag8abDncDvEAAAAA:ikzHesalutS3P0ckVQVR_RQO16hbSYM7XOsJfg3YJmf_L7JmBnauE5K3gG966T_l0VTeOafR}}},
  quotes = {... It is argued in this paper that this method can achieve significantly tighter bounds than both interval and affine arithmetic, while running significantly faster, with better scalability, than the ...}
}