Efficiency of equivalence algorithms (1972)

by M J FISCHER
Venue:In Complexity of Computer Computations