ISSAC '98 : proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation : August 13-15, 1998, University of Rostock, Germany - Gloor, Oliver (ACM Press, 1998)