Equational Theories and Validity for Logically Constrained Term Rewriting.

Takahito Aoto, Naoki Nishida, Jonas Schpf

Browse the full FSCD paper archive.