Title: Labeled trees and the efficient computation of derivations
Subjects: Algorithms