An improved equivalence algorithm (1964)

by B Galler, M Fischer
Venue:Communications of the ACM