TY  - RPRT
TI  - The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence
AU  - Domenico Cantone
AU  - Alfio Giarlotta
AU  - Stephen Watson
PY  - 2017
DO  - 10.4204/eptcs.256.5
UR  - https://arxiv.org/abs/1709.02097
ID  - 1709.02097
ER  -