Kelk, S.; van Iersel, L.; Scornavacca, C.; Weller, M. Phylogenetic Incongruence through the Lens of Monadic Second Order Logic. JGAA 2016, 20, 189-215.