REST: Integrating Term Rewriting with Program Verification (Extended Version) | Publicación