Labeled Trees and the Efficient Computation of Derivations.

Robert L. Grossman, Richard G. Larson

Browse the full ISSAC paper archive.