@misc{indiciae25268e881952,
  title = {REST: Integrating Term Rewriting with Program Verification (Extended Version)},
  author = {Zachary Grannan and Niki Vazou and Eva Darulova and Alexander J. Summers},
  year = {2022},
  url = {https://arxiv.org/abs/2202.05872},
  note = {Source identifier: 2202.05872}
}