MOP - Algorithmic Modality Analysis for Parabolic Group Actions. - Ulf Jürgens; Gerhard Röhrle (Exp. Math., 2002)