Michele Boreale: Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S. SOFSEM 2018: 442-455