Symbolic Abstract Contract Synthesis in a Rewriting Framework | Publicación