@article{Finkel_2020,
    doi = {10.1017/s0960129520000195},
    url = {https://doi.org/10.1017%2Fs0960129520000195},
    year = {2020},
    month = {aug},
    publisher = {Cambridge University Press ({CUP})},
    volume = {30},
    number = {7},
    pages = {752--832},
    author = {Alain Finkel and Jean Goubault-Larrecq},
    title = {Forward analysis for {WSTS}, part I: completions},
    journal = {Mathematical Structures in Computer Science}
}

@article{Finkel_2020, doi = {10.1017/s0960129520000195}, url = {https://doi.org/10.1017%2Fs0960129520000195}, year = {2020}, month = {aug}, publisher = {Cambridge University Press ({CUP})}, volume = {30}, number = {7}, pages = {752--832}, author = {Alain Finkel and Jean Goubault-Larrecq}, title = {Forward analysis for {WSTS}, part I: completions}, journal = {Mathematical Structures in Computer Science} }