Bibliography on Abstract Data Types, Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung" - B. Kutzler; Franz Lichtenberger (Springer, 1983)

A Geometry Theorem Prover Based on Buchberger's Algorithm. - B. Kutzler; Sabine Stifter (CADE, 1986)

Automated geometry theorem proving using Buchberger's algorithm. - B. Kutzler; Sabine Stifter (SYMSAC, 1986)

On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving. - B. Kutzler; Sabine Stifter (J. Symb. Comput., 1986)

Implementation of a geometry theorem proving package in SCRATCHPAD II. - K. Kusche; B. Kutzler; H. Mayr (EUROCAL, 1987)

Careful Algebraic Translations of Geometry Theorems. - B. Kutzler (ISSAC, 1989)