Sliced Model Checking for Phylogenetic Analysis | Publicación