Kelk, S. (2016) “Phylogenetic incongruence through the lens of Monadic Second Order logic”, Journal of Graph Algorithms and Applications, 20(2), pp. 189–215. doi: 10.7155/jgaa.00390.