TY  - RPRT
TI  - Automated Analysis of Logically Constrained Rewrite Systems using crest
AU  - Jonas Schöpf
AU  - Aart Middeldorp
PY  - 2025
DO  - 10.1007/978-3-031-90643-5_7
UR  - https://arxiv.org/abs/2501.05240
ID  - 2501.05240
ER  -