@misc{indiciae5ada1275ecdb,
  title = {Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)},
  author = {Jonas Schöpf and Aart Middeldorp},
  year = {2024},
  doi = {10.1007/978-3-031-38499-8\_27},
  url = {https://arxiv.org/abs/2309.12112},
  note = {Source identifier: 2309.12112}
}