TY - RPRT TI - Phylogenetic incongruence through the lens of Monadic Second Order logic AU - Steven Kelk AU - Leo van Iersel AU - Celine Scornavacca PY - 2015 UR - https://arxiv.org/abs/1503.00368 ID - 1503.00368 ER -