TY  - RPRT
TI  - REST: Integrating Term Rewriting with Program Verification (Extended Version)
AU  - Zachary Grannan
AU  - Niki Vazou
AU  - Eva Darulova
AU  - Alexander J. Summers
PY  - 2022
UR  - https://arxiv.org/abs/2202.05872
ID  - 2202.05872
ER  -