TY  - RPRT
TI  - Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)
AU  - Naoki Nishida
AU  - Kazushi Nishie
AU  - Misaki Kojima
PY  - 2026
UR  - https://arxiv.org/abs/2602.14636
ID  - 2602.14636
ER  -