Labeled Trees and the Efficient Computation of Derivations

Robert L. Grossman, Richard G. Larson. Labeled Trees and the Efficient Computation of Derivations. In ISSAC. pages 74-80, 1989. [doi]

Abstract

Abstract is missing.