Kelk, S., van Iersel, L., Scornavacca, C., & Weller, M. (2016). Phylogenetic incongruence through the lens of Monadic Second Order logic. Journal of Graph Algorithms and Applications, 20(2), 189–215. https://doi.org/10.7155/jgaa.00390