Proceeding of the 1997 infernational symposium on symbolic and algebraic computation - Kuchlin, Wolfgang W. (The Association for Computing Machinery, 1997)