Speeding Up Phylogenetic Model Checking | Publicación