@misc{indiciaea394b3cae9d6, title = {Forward Analysis for WSTS, Part II: Complete WSTS}, author = {Alain Finkel and Jean Goubault-Larrecq}, year = {2012}, doi = {10.2168/lmcs-8(3:28)2012}, url = {https://arxiv.org/abs/1208.4549}, note = {Source identifier: 1208.4549} }