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