Equivalence of Free Boolean Graphs Can Be Decided Probabilistically in Polynomial Time (1980)

by M Blum, A Chandra, M Wegman
Venue:In Information Processing Letters