Evaluation of properties over phylogenetic trees using stochastic logics | Publicación