@article{BFM18,
  author    = {Michael Blondin and Alain Finkel and Pierre McKenzie},
  title     = {Handling infinitely branching well-structured
                  transition systems},
  journal   = {Information and Computation},
  volume    = {258},
  number    = {},
  pages     = {28--49},
  doi       = {10.1016/j.ic.2017.11.001},
  year      = {2018}
}