@inproceedings{BFM14,
  author    = {Michael Blondin and Alain Finkel and Pierre McKenzie},
  title     = {Handling Infinitely Branching {WSTS}},
  booktitle = {Proc.\ $\text{41}^\text{st}$ International Colloquium on
                  Automata, Languages, and Programming ({ICALP})},
  pages     = {13--25},
  doi       = {10.1007/978-3-662-43951-7_2},
  year      = {2014}
}