Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms.

Kanta Takahata, Jonas Schpf, Naoki Nishida, Takahito Aoto

Browse the full LOPSTR paper archive.