Fig. 2From: Evaluation of properties over phylogenetic trees using stochastic logicsUnfolding of a DNA mutation model in a phylogenetic treeBack to article page