Sergio Mover Alessandro Cimatti Alberto Griggio Ahmed Irfan Stefano Tonetta Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. 529-551 2021 CAV (1) https://doi.org/10.1007/978-3-030-81685-8_25 conf/cav/2021-1 db/conf/cav/cav2021-1.html#MoverCGIT21