TY  - RPRT
TI  - The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations
AU  - Domenico Cantone
AU  - Marianna Nicolosi-Asmundo
PY  - 2015
UR  - https://arxiv.org/abs/1506.01476
ID  - 1506.01476
ER  -