Piotr Zgliczynski C<sup>1</sup> Lohner Algorithm. 429-465 2002 2 Found. Comput. Math. 4 https://doi.org/10.1007/s102080010025 db/journals/focm/focm2.html#Zgliczynski02