Kelk, Steven, et al. “Phylogenetic Incongruence through the Lens of Monadic Second Order Logic”. Journal of Graph Algorithms and Applications, vol. 20, no. 2, Feb. 2016, pp. 189-15, doi:10.7155/jgaa.00390.