TY  - RPRT
TI  - A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems
AU  - Ştefan Ciobâcă
AU  - Dorel Lucanu
PY  - 2018
UR  - https://arxiv.org/abs/1804.08308
ID  - 1804.08308
ER  -