@book(AleBouMon07,
 author       = {F. Aleskerov and D. Bouyssou and Monjardet B.},
 year         = {2007},
 title        = {Utility Maximization, Choice and Preference},
 publisher    = {Springer-Verlag},
 address      = {Berlin},
 doi          = {10.1007/978-3-540-34183-3},
)
@article(Arr59,
 author       = {K. J. Arrow},
 year         = {1959},
 title        = {Rational choice functions and orderings},
 journal      = {Economica},
 volume       = {26},
 pages        = {121--127},
 doi          = {10.2307/2550390},
)
@book(CanFerOmo89a,
 author       = {D. Cantone and A. Ferro and E. G. Omodeo},
 year         = {1989},
 title        = {Computable Set Theory},
 series       = {International Series of Monographs on Computer Science, Oxford Science Publications},
 volume       = {6},
 publisher    = {Clarendon Press},
 address      = {Oxford, {UK}},
)
@article(CanGiaGreWat16,
 author       = {D. Cantone and A. Giarlotta and S. Greco and S. Watson},
 year         = {2016},
 title        = {$(m,n)$-rationalizable choices},
 journal      = {Journal of Mathematical Psychology},
 volume       = {73},
 pages        = {12--27},
 doi          = {10.1016/j.jmp.2015.12.006},
)
@article(CanGiaWat17,
 author       = {D. Cantone and A. Giarlotta and S. Watson},
 year         = {2017},
 title        = {Lifting choices to a total domain},
 journal      = {Mimeo, University of Catania},
)
@article(CanNic13a,
 author       = {D. Cantone and Nicolosi Asmundo, M.},
 year         = {2013},
 title        = {On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic},
 journal      = {Fundamenta Informaticae},
 volume       = {124},
 number       = {4},
 pages        = {427--448},
 doi          = {10.3233/FI-2013-842},
)
@article(CN16,
 author       = {D. Cantone and Nicolosi Asmundo, M.},
 year         = {2016},
 title        = {The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {322},
 number       = {69--86},
 doi          = {10.1016/j.entcs.2016.03.006},
)
@book(CanOmoPol01,
 author       = {D. Cantone and E. G. Omodeo and A. Policriti},
 year         = {2001},
 title        = {Set Theory for Computing - {\relax\fontsize {10}{12}\selectfont\abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip\z@ plus3\p@ \belowdisplayshortskip6\p@ plus3\p@ minus3\p@ \def\leftmargin \leftmargini\topsep 6\p@ plus2\p@ minus2\p@ \parsep3\p@ plus2\p@ minus\p@ \itemsep\parsep {\leftmargin\leftmargini \topsep6\p@ plus2\p@ minus2\p@ \parsep3\p@ plus2\p@ minus\p@ \itemsep\parsep }\belowdisplayskip\abovedisplayskip From Decision Procedures to Declarative Programming with Sets}},
 series       = {Monographs in Computer Science},
 publisher    = {Springer-Verlag},
 address      = {New York},
 doi          = {10.1007/978-1-4757-3452-2},
)
@book(CanUrs17,
 author       = {D. Cantone and P. Ursino},
 year         = {2017},
 title        = {An Introduction to the Formative Processes Technique in Set Theory},
 publisher    = {Springer-Verlag},
 note         = {To appear.},
)
@article(ChaEchShm17,
 author       = {C. P. Chambers and F. Echenique and E. Shmaya},
 year         = {2017},
 title        = {General revealed preference theory},
 journal      = {Theoretical Economics},
 volume       = {73},
 pages        = {493--511},
 doi          = {10.3982/TE1924},
)
@article(Che54,
 author       = {H. Chernoff},
 year         = {1954},
 title        = {Rational selection of decision functions},
 journal      = {Econometrica},
 volume       = {22},
 pages        = {422--443},
 doi          = {10.2307/1907435},
)
@article(GiaWat14,
 author       = {A. Giarlotta and S. Watson},
 year         = {2014},
 title        = {The pseudo-transitivity of preference relations: Strict and weak $(m, n)$-Ferrers properties},
 journal      = {Journal of Mathematical Psychology},
 volume       = {58},
 pages        = {45--54},
 doi          = {10.1016/j.jmp.2014.01.002},
)
@article(GiaWat17,
 author       = {A. Giarlotta and S. Watson},
 year         = {2017},
 title        = {Strict $(m,1)$-{F}errers properties},
 journal      = {Mimeo, University of Catania},
)
@article(Han68,
 author       = {B. Hansson},
 year         = {1968},
 title        = {Choice structures and preference relations},
 journal      = {Synthese},
 volume       = {18},
 pages        = {443--458},
 doi          = {10.1007/BF00484979},
)
@article(Hou50,
 author       = {H. S. Houthakker},
 year         = {1950},
 title        = {Revealed preference and the utility function},
 journal      = {Economica},
 volume       = {17},
 pages        = {159--174},
 doi          = {10.2307/2549382},
)
@article(Ric66,
 author       = {M. K. Richter},
 year         = {1966},
 title        = {Revealed preference theory},
 journal      = {Econometrica},
 volume       = {34},
 pages        = {635--645},
 doi          = {10.2307/1909773},
)
@article(Sam38,
 author       = {P. Samuelson},
 year         = {1938},
 title        = {A note on the pure theory of consumer's behavior},
 journal      = {Economica},
 volume       = {5},
 pages        = {61--71},
 doi          = {10.2307/2548836},
)
@book(SchCanOmo11,
 author       = {J. T. Schwartz and D. Cantone and E. G. Omodeo},
 year         = {2011},
 title        = {Computational Logic and Set Theory: Applying Formalized Logic to Analysis},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-0-85729-808-9},
 note         = {Foreword by M. Davis},
)
@article(Sen71,
 author       = {A. Sen},
 year         = {1971},
 title        = {Choice functions and revealed preferences},
 journal      = {Review of Economic Studies},
 volume       = {38},
 pages        = {307--317},
 doi          = {10.2307/2296384},
)