Counting Cherry Reduction Sequences in Phylogenetic Tree-Child Networks is Counting Linear Extensions | Publicación