@entry{kie-lut-dyl-13-aa,
  author = {S Kiel and W Luther and E Dyllong},
  title = {Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures},
  journal = {Soft Computing,},
  volume = {},
  number = {},
  pages = {},
  year = 2013,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://idp.springer.com/authorize/casa?redirect_uri=https://link.springer.com/article/10.1007/s00500-013-1005-y&casa_token=aLUqd4CPQtoAAAAA:l1jChvk_Tq_u9W5MkeoSiO1E0aEdcATcppA-rCYROE8WWokDrEfTvCr4ANhU6UJ6UTNjSsQMQN9tzfU}}},
  quotes = {... , where denoted, natural extension with affine arithmetic. The contracting tree is configured to first evaluate the implicit function with affine arithmetic, then to construct the ILIE enclosure ...}
}