An Algorithm for Equivalence Declarations
CACM July, 1961
Arden, B. W.
Galler, A.
Graham, R. M.
