Kaikoura tree theorems: Computing the maximum agreement subtree
scientific article; zbMATH DE number 500552