Efficiency of equivalence algorithms (1972)

by M J Fischer
Venue:In Complexity of Computer Computations