Some approaches to equality for equational logic: A survey and assessment. Memo ATP-36, Automatic Theorem Proving Project (1977)

by D Lankford