Well-Quasi-Ordering Hereditarily Finite Sets.

Alberto Policriti, Alexandru I. Tomescu

Browse the full LATA paper archive.