Geoffrey D. Alexander David A. Plaisted Proving Equality Theorems with Hyper-Linking. 706-710 1992 conf/cade/1992 CADE db/conf/cade/cade92.html#AlexanderP92 https://doi.org/10.1007/3-540-55602-8_208