Note on "solution of a general system of equations". - Rüdiger Gebauer; Heinz Kredel (SIGSAM Bull., 1984)

Gröbner Bases Using SAC-2. - W. Böge; Rüdiger Gebauer; Heinz Kredel (European Conference on Computer Algebra (2), 1985)

Buchberger's algorithm and staggered linear bases. - Rüdiger Gebauer; H. Michael Möller (SYMSAC, 1986)

Some Examples for Solving Systems of Algebraic Equations by Calculating Groebner Bases. - W. Böge; Rüdiger Gebauer; Heinz Kredel (J. Symb. Comput., 1986)

On an Installation of Buchberger's Algorithm. - Rüdiger Gebauer; H. Michael Möller (J. Symb. Comput., 1988)