Kelk, S. et al. 2016. Phylogenetic incongruence through the lens of Monadic Second Order logic. Journal of Graph Algorithms and Applications. 20, 2 (Feb. 2016), 189–215. DOI:https://doi.org/10.7155/jgaa.00390.