OpenAlex
The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings
Work