Automating Proof Search when Equality is a Logical Connective.

Kaustuv Chaudhuri, Arunava Gantait, Dale Miller

Browse the full IJCAR paper archive.