Follow
REST: Integrating Term Rewriting with Program Verification. (arXiv:2202.05872v1 [cs.PL]) http://arxiv.org/abs/2202.05872
REST: Integrating Term Rewriting with Program Verification. (arXiv:2202.05872v1 [cs.PL]) http://arxiv.org/abs/2202.05872