TY  - RPRT
TI  - The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering
AU  - Jean Goubault-Larrecq
AU  - Simon Halfon
AU  - Prateek Karandikar
AU  - K. Narayan Kumar
AU  - Philippe Schnoebelen
PY  - 2019
UR  - https://arxiv.org/abs/1904.10703
ID  - 1904.10703
ER  -