Set graphs. I. Hereditarily finite sets and extensional acyclic orientations
scientific article; zbMATH DE number 6143702