TY  - RPRT
TI  - Forward analysis for WSTS, Part I: Completions
AU  - Alain Finkel
AU  - Jean Goubault-Larrecq
PY  - 2009
UR  - https://arxiv.org/abs/0902.1587
ID  - 0902.1587
ER  -