Quantifier Elimination for Real Closed Fields. - W. Böge (AAECC, 1985)

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

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