Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration
scientific article; zbMATH DE number 6573511