Author: International Symposium on Parallel Symbolic Computation (1st 1994 Linz, Austria)