D. Wilczak, “Computer assisted proof of chaotic dynamics in the Rössler map”, TMNA, vol. 18, no. 1, pp. 183–190, Sep. 2001.