K. Reuter
Technische Hochschule Darmstadt, Datmstadt, W. Germany
The pruning-grafting lattice of binary trees
Theoretical Computer Science