Subgroup Discovery Through Sharp Transitions Using Implicative Type Rules. | AMiner