Return to Article Details Phylogenetic incongruence through the lens of Monadic Second Order logic Download Download PDF