@misc{indiciae532ec157b9a6,
  title = {A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems},
  author = {Ştefan Ciobâcă and Dorel Lucanu},
  year = {2018},
  url = {https://arxiv.org/abs/1804.08308},
  note = {Source identifier: 1804.08308}
}