Kelk, Steven, Leo van Iersel, Celine Scornavacca, and Mathias Weller. 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.