[1]
Pilarczyk, P. 1999. Computer assisted method for proving existence of periodic orbits. Topological Methods in Nonlinear Analysis. 13, 2 (Jun. 1999), 365–377.