“...International Symposium on Symbolic and Algebraic Computation Waterloo, Ontario)...”