@article{BFG20,
  author    = {Michael Blondin and Alain Finkel and Jean Goubault-Larrecq},
  title     = {{Forward Analysis for {WSTS}, Part {III}:
                  {K}arp-{M}iller Trees}},
  journal   = {Logical Methods in Computer Science ({LMCS})},
  volume    = {16},
  number    = {2},
  year      = {2020},
  doi       = {10.23638/LMCS-16(2:13)2020}
}