Well-quasi-ordering hereditarily finite sets

Alberto Policriti, Alexandru I. Tomescu. Well-quasi-ordering hereditarily finite sets. Int. J. Comput. Math., 90(6):1278-1291, 2013. [doi]

Abstract

Abstract is missing.