@article{JGAA_2016_20_2_a1,
     author = {Steven Kelk and Leo van Iersel and Celine Scornavacca and Mathias Weller},
     title = {Phylogenetic incongruence through the lens of {Monadic} {Second} {Order} logic},
     journal = {Journal of Graph Algorithms and Applications},
     pages = {189--215},
     publisher = {mathdoc},
     volume = {20},
     number = {2},
     year = {2016},
     doi = {10.7155/jgaa.00390},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.7155/jgaa.00390/}
}