Peakword Condensation and Submodule Lattices: An Application of the Meat-Axe. - Klaus Lux; Jürgen Müller 004; Michael Ringe (J. Symb. Comput., 1994)