@misc{indiciaefe57dd0fd7da,
  title = {Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version)},
  author = {Naoki Nishida and Misaki Kojima and Yuto Nakamura},
  year = {2025},
  url = {https://arxiv.org/abs/2507.04080},
  note = {Source identifier: 2507.04080}
}