Entailment with Conditional Equality Constraints.

Zhendong Su, Alexander Aiken

Browse the full ESOP paper archive.