Simulation of Recursive Functions by Means of Interval Analysis and   Pseudo-Orbits
  In this work we use intersection of different pseudo-orbits obtained by interval extensions to reduce the bounds of the exact solution provided by the toolbox Intlab. The method is applied on the logistic map. 
H. M. Rodrigues Junior, M. L. C. Peixoto, E. G. Nepomuceno
math.NA