ECR: An Equality Conditional Resolution Proof Procedure.

Tie-Cheng Wang

Browse the full CADE paper archive.