BAn improved equivalence algorithm (1964)

by B A Galler, M J Fisher
Venue:Commun. ACM