An order bound for the point stabilizer of a primitive permutation group
scientific article; zbMATH DE number 3722864