Zeng Li-Xin Zhu Ming-Yuan Extending PowerEpsilon with Algebraic Rewriting. 20-26 1994 29 SIGPLAN Notices 1 db/journals/sigplan/sigplan29.html#Li-XinM94