Equivalence of free boolean graphs can be decided probabilistically in polynomial timeManuel BlumAshok K. Chandraet al.1980Information Processing Letters