S. Kelk, L. van Iersel, C. Scornavacca, and M. Weller, “Phylogenetic incongruence through the lens of Monadic Second Order logic”, JGAA, vol. 20, no. 2, pp. 189–215, Feb. 2016.