Karsten Homann Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme. Infix Verlag, St. Augustin, Germany 1997 DISKI 152 3-89601-152-9