Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations.

Kanta Takahata, Jonas Schpf, Naoki Nishida, Takahito Aoto

Browse the full PPDP paper archive.