Symbolic Expansion of Algebraic Expressions (Algorithm 377 $R2))
CACM March, 1970
Levine, M. J.
