SrzednickiR. “On Computer-Assisted Proving the Existence of Periodic and Bounded Orbits”. Annales Mathematicae Silesianae, Vol. 29, Sept. 2015, pp. 7-17, https://www.journals.us.edu.pl/index.php/AMSIL/article/view/13973.