@inproceedings{BFG17,
  author    = {Michael Blondin and Alain Finkel and Jean Goubault-Larrecq},
  title     = {Forward Analysis for {WSTS}, Part {III}:
                  {K}arp-{M}iller Trees}, 
  booktitle = {Proc.\ $37^\text{th}$ IARCS Annual Conference on
                  Foundations of Software Technology and Theoretical
                  Computer Science ({FSTTCS})},
  pages     = {16:1--16:15},
  doi       = {10.4230/LIPIcs.FSTTCS.2017.16},
  year      = {2017}
}