1. Maximum agreement subtree in a set of evolutionary trees — metrics and efficient algorithms;Amir,1994
2. Proof verification and hardness of approximation problems;Arora,1992
3. A mathematical foundation for the analysis of cladistic character compatibility;Estabrook;Math. Biosci.,1976
4. Fast comparison of evolutionary trees;Farach,1994
5. Optimal evolutionary tree comparison by sparse dynamic programming;Farach,1994