Kelk, Steven, Leo van Iersel, Celine Scornavacca, and Mathias Weller. “Phylogenetic Incongruence through the Lens of Monadic Second Order Logic”. Journal of Graph Algorithms and Applications 20, no. 2 (February 1, 2016): 189–215. Accessed December 6, 2025. https://jgaa-v5.cs.brown.edu/index.php/jgaa/article/view/paper390.