Enric RodrÃguez-Carbonell, Deepak Kapur. Automatic generation of polynomial loop. In Jaime Gutierrez, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings. pages 266-273, ACM, 2004. [doi]
Abstract is missing.