Kelk S, van Iersel L, Scornavacca C, Weller M. Phylogenetic incongruence through the lens of Monadic Second Order logic. JGAA [Internet]. 2016 Feb. 1 [cited 2024 Dec. 22];20(2):189-215. Available from: https://jgaa-v4.cs.brown.edu/index.php/jgaa/article/view/paper390