(1)
Wilczak, D. Computer Assisted Proof of Chaotic Dynamics in the Rössler Map. TMNA 2001, 18, 183-190.