Teo Mora Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings ISSAC ACM 2002 1-58113-484-3 db/conf/issac/issac2002.html