@entry{buh-dyl-lut-04-aa-intlie,
  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,},
  volume = {},
  number = {},
  pages = {},
  year = 2004,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  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 ...}
}