Graph isomorphism Is in the low hierarchy - Schöning, Uwe 1955- (EWH Koblenz, Informatik, 1986)