Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)

Takahito Aoto, Naoki Nishida, Jonas Schöpf

Logically constrained term rewrite systems (LCTRSs) are a rewriting formalism that naturally supports built-in data structures, including integers and bit-vectors. The recent frame…