A Fast Algorithm for Ground Normal Form Analysis. - Reinhard Bündgen; Hasko Eckhardt (ALP, 1992)