Srzednicki, R. 2015. On computer-assisted proving the existence of periodic and bounded orbits. Annales Mathematicae Silesianae. 29, (Sep. 2015), 7–17.