R. Srzednicki, “On computer-assisted proving the existence of periodic and bounded orbits”, Ann. Math. Sil., vol. 29, pp. 7–17, Sep. 2015.