An Algorithm for Reasoning About Equality.

Robert E. Shostak

Browse the full IJCAI paper archive.