Pilarczyk, P. (1999). Computer assisted method for proving existence of periodic orbits. Topological Methods in Nonlinear Analysis, 13(2), 365–377. Retrieved from https://apcz.umk.pl/TMNA/article/view/TMNA.1999.019