Model checking software for phylogenetic trees using distribution and database methods. | Publicación