@entry{mul-cha-18-aa,
  author = {O Mullier and A Chapoutot...},
  title = {Validated computation of the local truncation error of runge\uc{2013}kutta methods with automatic differentiation},
  journal = {... Methods and Software,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.tandfonline.com/doi/abs/10.1080/10556788.2018.1459620}}},
  quotes = {... affine arithmetic is essentially based on the trade-of between precision and time computation. However some intrinsic properties of affine arithmetic ... On the opposite, affine arithmetic ...}
}