Grossman, Larson, 1992. Symbolic computation of derivations using labelled trees 13.. https://doi.org/10.1016/s0747-7171(10)80009-4