Srzednicki, Roman. 2015. “On Computer-Assisted Proving the Existence of Periodic and Bounded Orbits”. Annales Mathematicae Silesianae 29 (September):7-17. https://trrest.vot.pl/ojsus/index.php/AMSIL/article/view/13973.