Proceedings of the second international symposium on Parallel symbolic computation
ACM Digital Library