Invited Talk: Rewrite-Based Deduction and Symbolic Constraints | Publicación