[1]
Wilczak, D. 2001. Computer assisted proof of chaotic dynamics in the Rössler map. Topological Methods in Nonlinear Analysis. 18, 1 (Sep. 2001), 183–190.