Proceedings of the International Workshop on Parallel Symbolic Computation
ACM Digital Library