@entry{imm-18-aa,
  author = {F Immler},
  title = {A verified ODE solver and the Lorenz attractor},
  journal = {Journal of automated reasoning,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/article/10.1007/s10817-017-9448-y}}},
  quotes = {... schemes based on Runge\uc{2013}Kutta methods and affine arithmetic. On a high level, reachability ... In our algorithms, the flow is approximated with affine arithmetic expressions, therefore ...}
}