Klaus Lux Markus Wiegelmann Determination of Socle Series using the Condensation Method. 163-178 2001 31 J. Symb. Comput. 1/2 db/journals/jsc/jsc31.html#LuxW01