Robert L. Grossman Richard G. Larson Labeled Trees and the Efficient Computation of Derivations. 74-80 1989 ISSAC http://doi.acm.org/10.1145/74540.74550 db/conf/issac/issac89.html#GrossmanL89