@misc{indiciaee9d48d18736d,
  title = {Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)},
  author = {Takahito Aoto and Naoki Nishida and Jonas Schöpf},
  year = {2026},
  url = {https://arxiv.org/abs/2601.22191},
  note = {Source identifier: 2601.22191}
}