7 J.I. Requeno R. Blanco G. de Miguel J.M. Colom 2012 Sliced Model Checking for Phylogenetic Analysis 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012) Berlin Heildelbeg Springer Advances in Intelligent and Soft Computing 04/2012