An improved equivalence algorithm (1964)

by B A GALLER, M J FISHER
Venue:Commun. ACM