Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation
ACM Digital Library