Nepomuceno, Erivelton, Martins, Samir A.M., Silva, Bruno C., Amaral, Gleison F.V. and Perc, Matjaž (2018) Detecting unreliable computer simulations of recursive functions with interval extensions. Applied Mathematics and Computation, 329. pp. 408-419. ISSN 00963003