Srzednicki, R. (2015). On computer-assisted proving the existence of periodic and bounded orbits. Annales Mathematicae Silesianae, 29, 7–17. Retrieved from https://trrest.vot.pl/ojsus/index.php/AMSIL/article/view/13973