TY  - RPRT
TI  - Enumeration of the adjunctive hierarchy of hereditarily finite sets
AU  - Giorgio Audrito
AU  - Alexandru I. Tomescu
AU  - Stephan Wagner
PY  - 2014
DO  - 10.1093/logcom/exu062
UR  - https://arxiv.org/abs/1309.2512
ID  - 1309.2512
ER  -