Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers | Publicación