@entry{bue-dyl-lut-04-aa,
  author = {K B{\"u}hler and E Dyllong and W Luther},
  title = {Reliable distance and intersection computation using finite precision geometry},
  journal = {Numerical Software with Result Verification,},
  year = 2004,
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-540-24738-8_9}}},
  quotes = {... They are constructed using Taylor models or affine arithmetic. The particular structure of (I)LIEs allows the construction of effective hierarchies of bounding volumes and the ...}
}