Equivalence of free boolean graphs can be decided probabilistically in polynomial time (1980)

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