1. Andreas Döring, Kooperation eines theorembeweisers und eines computeralgebrasystems, PhD Thesis, Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, 1994.