
One of the first concrete things to emerge from this research is a paper with Gabriel Valiente entitled An edit script for taxonomic classifications. The basic idea is to look for matching subtrees in two classifications (labelled rooted trees), then compute a script that transforms one tree into another.