Computing a Set of Generators of Minimal Cardinality in a Solvable Group. - Andrea Lucchini; Federico Menegazzo (J. Symb. Comput., 1994)