Srzednicki, R. (2015) “On computer-assisted proving the existence of periodic and bounded orbits”, Annales Mathematicae Silesianae, 29, pp. 7–17. Available at: https://trrest.vot.pl/ojsus/index.php/AMSIL/article/view/13973 (Accessed: 8 May 2025).