You are about to access our book library "EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings (Lecture Notes in Computer Science, 378) full version" .