=Paper=
{{Paper
|id=Vol-3587/0265
|storemode=property
|title=The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence
|pdfUrl=https://ceur-ws.org/Vol-3587/0265.pdf
|volume=Vol-3587
|authors=Domenico Cantone,Alfio Giarlotta,Pietro Maugeri,Stephen Watson
|dblpUrl=https://dblp.org/rec/conf/ictcs/CantoneGMW23
}}
==The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence==
<pdf width="1500px">https://ceur-ws.org/Vol-3587/0265.pdf</pdf>
<pre>
None
</pre>