K. Kusche, B. Kutzler, H. Mayr. Implementation of a geometry theorem proving package in SCRATCHPAD II. In James H. Davenport, editor, EUROCAL 87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings. Volume 378 of Lecture Notes in Computer Science, pages 246-257, Springer, 1987.
Abstract is missing.