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