Towards Automated Chaos Verification
S. Day, O. Junge, K. Mischaikow, in: EQUADIFF 2003, 2005.