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