id: 70118009
dt: a
an: 70118009
au: Alexander, Geoffrey D.; Plaisted, David A.
ti: Proving equality theorems with hyper-linking
so: CADE, 706-710 (1992).
py: 1992
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/3-540-55602-8_208