1. Andrea Lucchini and Federico Menegazzo, Computing a set of generators of minimal cardinality in a solvable group, J. Symbolic Comput. 17 (1994), no. 5, 409–420.[MR]