A blackbox group algorithm for recognizing finite symmetric and alternating groups (2003)

by R Beals, C R Leedham-Green, A C Niemeyer, C E Praeger, Á Seress
Venue:I. Trans. Amer. Math. Soc