TY - JOUR AU - Steven Kelk AU - Leo van Iersel AU - Celine Scornavacca AU - Mathias Weller TI - Phylogenetic incongruence through the lens of Monadic Second Order logic JO - Journal of Graph Algorithms and Applications PY - 2016 SP - 189 EP - 215 VL - 20 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.7155/jgaa.00390/ DO - 10.7155/jgaa.00390 LA - en ID - JGAA_2016_20_2_a1 ER -