Symbolic computation of derivations using labelled trees
linear combinations of rooted laballed trees
scientific article; zbMATH DE number 92594