Group-theoretic algorithms and graph isomorphism | lit.salon