Login / Signup

An Algorithm for Reasoning About Equality.

Robert E. Shostak
Published in: Commun. ACM (1978)
Keyphrases