@STRING{lncs="LNCS"}

@book{RothSotomayor:1990,
   title = "Two-sided matching: A Study in Game-Theoretic Modeling and Analysis",
   author = "Roth, A. E. and Sotomayor, M. A.",
   series = "Econometric society monographs",
   publisher = "Cambridge University Press",
   address = "Cambridge, United Kingdom",
   year = 1990
}

@Book{Roth:2015,
  author = "Roth, A. E.",
  title = "Who gets what -- and why: the new economics of matchmaking and market design",
  publisher = "Houghton Mifflin Harcourt",
  year = 2015
}

@book{GusfieldIrving:1989,
 author = {Gusfield, D. and Irving, R. W.},
 title = {The Stable Marriage Problem: Structure and Algorithms},
 year = {1989},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA}
}

@article{HatfieldKojima:2008,
Author = {Hatfield, J. W. and Kojima, F.},
Title = {Matching with Contracts: Comment},
Journal = {American Economic Review},
Volume = 98,
Number = 3,
Year = 2008,
Pages = {1189-94},
DOI = "10.1257/aer.98.3.1189",
}

@article{HatfieldKojima:2009,
author = {Hatfield, J. W. and Kojima, F.},
title = "Group incentive compatibility for matching with contracts",
journal = "Games and Economic Behavior",
volume = 67,
number = 2,
pages = "745-749",
year = 2009,
doi = "10.1016/j.geb.2009.01.007",
}

@article{HatfieldKojima:2010,
Author = {Hatfield, J. W. and Kojima, F.},
title = "Substitutes and stability for matching with contracts",
journal = "Journal of Economic Theory",
volume = 145,
number = 5,
pages = "1704-1723",
year = 2010,
doi = "10.1016/j.jet.2010.01.007",
}

@article{HatfieldMilgrom:2005,
Author = {Hatfield, J. W. and Milgrom, P. R.},
Title = {Matching with Contracts},
Journal = {American Economic Review},
Volume = {95},
Number = {4},
Year = {2005},
Pages = {913-935},
DOI = {10.1257/0002828054825466},
}

@Unpublished{AygunSonmez:2012-WP,
  author = "Aygün, O. and Sönmez, T.",
  title = "The Importance of Irrelevance of Rejected Contracts in Matching under Weakened Substitutes Conditions",
  note = "Working Paper",
  month = jun,
  year = 2012
}

@Unpublished{AygunSonmez:2012-WP2,
  author = "Aygün, O. and Sönmez, T.",
  title = "Matching with contracts: The critical role of Irrelevance of Rejected Contracts",
  note = "Working Paper. Abridged in AER 103(5) as ``Matching with Contracts: Comment'' in 2013.",
  month = may,
  year = 2012,
}

@article{Fleiner:2003,
author = {Fleiner, T.},
title = {A Fixed-Point Approach to Stable Matchings and Some Applications},
journal = {Mathematics of Operations Research},
volume = 28,
number = 1,
pages = {103-126},
year = 2003,
doi = {10.1287/moor.28.1.103.14256},
URL = {http://www.cs.elte.hu/egres/www/tr-01-01.html}
}

@TechReport{Fleiner:2002,
  author = {Fleiner, T.},
  title =        {Some results on stable matchings and fixed points},
  institution =  {Egerv{\'a}ry Research Group on Combinatorial Optimization},
  year =         2002,
  number =    {tr-2002-08},
  address =   {Budapest, Hungary},
  month =     mar,
  url = "http://www.cs.elte.hu/egres/www/tr-02-08.html"
}

@PhdThesis{Fleiner:2000,
  author =       {Fleiner, T.},
  title =        {Stable and Crossing Structures},
  school =       {Technische Universiteit Eindhoven},
  year =         2000
}

@article{Roth:1984,
  author =       {Roth, A. E.},
  title =        {Stability and Polarization of Interests in Job Matching},
  journal =      {Econometrica},
  year =         1984,
  volume =    52,
  pages =     {47-57}
}

@article{Roth:1985,
  author =       {Roth, A. E.},
  title =        {Conflict and coincidence of interest in job matching: Some new results and open questions},
  journal =      {Mathematics of Operations Research},
  year =         1985,
  volume =    10,
  number =    3,
  month =     aug
}

@Article{Roth:2008,
  author={Alvin Roth},
  title={{Deferred acceptance algorithms: history, theory, practice, and open questions}},
  journal={International Journal of Game Theory},
  year=2008,
  volume=36,
  number=3,
  pages={537-569},
  month=mar,
  url={http://www.nber.org/papers/w13225}
}

@article{GaleShapley:1962,
  author =	"Gale, D. and Shapley, L. S.",
  title =	"College Admissions and the Stability of Marriage",
  journal =	"The American Mathematical Monthly",
  volume =	69,
  number =	1,
  pages =	"9-15",
  month =	jan,
  year =        1962,
}

@article{ShapleyScarf:1974,
author = "Shapley, L. and Scarf, H.",
title = "On cores and indivisibility",
journal = "Journal of Mathematical Economics",
volume = 1,
number = 1,
pages = "23-37",
year = 1974,
doi = "10.1016/0304-4068(74)90033-0"
}

@article{KelsoCrawford:1982,
   author="Kelso, A. S. and Crawford, V. P.",
   title="Job matching, coalition formation, and gross substitutes",
   journal="Econometrica",
   volume=50,
   number=6,
   month=nov,
   year=1982,
   Pages="1483-1504"
}

@article{Plott:1973,
   author = "Plott, C. R.",
   title = "Path independence, rationality and social choice",
   journal = "Econometrica",
   year = 1973,
   volume = 41,
   number = 6,
   pages = "1075-1091",
}

@article{Moulin:1985,
          volume = 2,
          number = 2,
           month = {September},
          author = {Moulin, H.},
           title = {Choice functions over a finite set: a summary},
         journal = {Social Choice and Welfare},
           pages = {147-160},
            year = 1985,
             url = {http://eprints.gla.ac.uk/92191/},
             doi = {10.1007/BF00437315}
}

@book{Sen:1970,
  author = {Sen, A. K.},
  publisher = {Holden Day},
  title = {Collective Choice and Social Welfare},
  year = 1970
}

@article{Sen:1971,
  title={Choice functions and revealed preference},
  author={Sen, A. K.},
  journal={The Review of Economic Studies},
  volume=38,
  number=3,
  month=jul,
  pages={307-317},
  year=1971,
}

@article{AizermanMalishevski:1981,
author={Aizerman, M. and Malishevski, A.},
journal={IEEE Transactions on Automatic Control},
title={General theory of best variants choice: Some aspects},
year=1981,
volume=26,
number=5,
pages={1030-1040},
doi={10.1109/TAC.1981.1102777},
month=oct,
}

@Unpublished{ChambersYenmez:2013,
  author =       {Chambers, C. P. and Yenmez, M. B.},
  title =        {Choice and Matching},
  note =         {Under review},
  month =     jul,
  year =      2013,
  url = "http://econweb.ucsd.edu/~cpchambers/papers.html"
}

@article{HirataKasuya:2014,
title = "Cumulative offer process is order-independent",
journal = "Economics Letters",
volume = 124,
number = 1,
pages = "37 - 40",
year = 2014,
doi = "10.1016/j.econlet.2014.04.008",
author = "Hirata, D. and Kasuya, Y."
}

@Unpublished{HirataKasuya:2016,
  author = "Hirata, D. and Kasuya, Y.",
  title =        "On Stable and Strategy-Proof Rules in Matching Markets with Contracts",
  note =         {Unpublished},
  doi = "10.2139/ssrn.2654639",
  month =     aug,
  year =      2016
}

@InCollection{Bijlsma:1991,
  author =       {Bijlsma, L.},
  title =        {Formal derivation of a stable marriage algorithm},
  booktitle = {C.S. Scholten dedicata: van oude machines en nieuwe rekenwijzen},
  editor = {Feijen, W.H.J. and van Gastreren, A.J.M},
  year = 1991,
  publisher = {Academic Service Schoonhoven}
}

@article{VCG-AFP:2015,
  author    = {Caminati, M. B. and
               Kerber, M. and
               Lange, C. and
               Rowat, C.},
  title     = {{VCG} --- Combinatorial {Vickrey-Clarke-Groves} Auctions},
  journal   = {Archive of Formal Proofs},
  volume    = 2015,
  year      = 2015,
  url       = {https://isa-afp.org/entries/Vickrey_Clarke_Groves.shtml},
}

@inproceedings{VCG-EC:2015,
  author    = {Caminati, M. B. and
               Kerber, M. and
               Lange, C. and
               Rowat, C.},
  title     = {Sound Auction Specification and Implementation},
  booktitle = {{EC} '15},
  pages     = {547-564},
  year      = {2015},
  crossref  = {DBLP:conf/sigecom/2015},
  doi       = {10.1145/2764468.2764511},
}

@proceedings{DBLP:conf/sigecom/2015,
  editor    = {Roughgarden, T. and
               Feldman, M. and
               Schwarz, M.},
  title     = {{EC} '15},
  publisher = {{ACM}},
  address = {New York, NY, USA},
  year      = 2015,
}

%  booktitle =   {Functional and Logic Programming: 10th International Symposium: FLOPS 2010},
@inproceedings{Haftmann-Nipkow:2010:code,
  author =      {Haftmann, F. and Nipkow, T.},
  title =       {Code Generation via Higher-Order Rewrite Systems},
  booktitle =   {FLOPS},
  year =        2010,
  publisher =   {Springer},
  series =      {LNCS},
  editor =      {Blume, M. and Kobayashi, N. and Vidal, G.},
  volume =      {6009}
}

@inproceedings{Bulwahn-et-al:2008:imp_HOL,
  author =      {L. Bulwahn and A. Krauss and F. Haftmann and L. Erk{\"o}k and J. Matthews},
  title =       {Imperative Functional Programming with {Isabelle/HOL}},
  booktitle =   {TPHOLs '08},
  year =        {2008},
  pages =       {352-367},
  publisher =   "Springer",
  series =      LNCS,
  volume =      {5170},
  editor =      {O. A. Mohamed and C. Mu{\~n}oz and S. Tahar}
}

@Book{Nipkow-Paulson-Wenzel:2002,
  author	= {T. Nipkow and L. C. Paulson and M. Wenzel},
  title		= {Isabelle/HOL --- A Proof Assistant for Higher-Order Logic},
  publisher	= {Springer},
  address = "Berlin",
  series	= lncs,
  volume	= 2283,
  year		= 2002
}

@inproceedings{DBLP:conf/atal/BrandtG14,
  author    = {Brandt, F. and Geist, C.},
  title     = {Finding strategyproof social choice functions via {SAT} solving},
  booktitle = {{AAMAS} '14},
  pages     = {1193-1200},
  year      = {2014},
  crossref  = {DBLP:conf/atal/2014}
}

@proceedings{DBLP:conf/atal/2014,
  editor    = {Bazzan, A. L. C. and
               Huhns, M. N. and
               Lomuscio, A. and
               Scerri, P.},
  title     = {{AAMAS} '14},
  publisher = {{IFAAMAS/ACM}},
  year      = {2014}
}

@inproceedings{DBLP:conf/atal/AzizSW15,
  author    = {Aziz, H. and
               Seedig, H. G. and
               von Wedel, J. K.},
  title     = {On the Susceptibility of the Deferred Acceptance Algorithm},
  booktitle = {{AAMAS} 2015},
  pages     = {939-947},
  year      = 2015,
  crossref  = {DBLP:conf/atal/2015}
}

@proceedings{DBLP:conf/atal/2015,
  editor    = {Weiss, G. and
               Yolum, P.  and
               Bordini, R. H. and
               Elkind, E.},
  title     = {{AAMAS} 2015},
  publisher = {{ACM}},
  year      = 2015
}

@Misc{Border:2012,
  author =    "Border, K. C.",
  title =     "Introductory Notes on Preference and Rational Choice",
  month =     apr,
  year =      2012,
  url = "http://people.hss.caltech.edu/~kcb/Notes.shtml"
}

@InCollection{sep-preferences,
	author       =	{Hansson, S. O. and Grüne-Yanoff, T.},
	title        =	{Preferences},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
        publisher    =  "Stanford",
	editor       =	{Zalta, E. N.},
	year         =	2012,
	edition      =	{Winter 2012},
	url = {http://plato.stanford.edu/archives/win2012/entries/preferences/}
}

@article{DBLP:journals/geb/HatfieldIK12,
  author    = {Hatfield, J. W. and
               Immorlica, N. and
               Kominers, S. D.},
  title     = {Testing substitutability},
  journal   = "Games and Economic Behavior",
  volume    = 75,
  number    = 2,
  pages     = {639-645},
  year      = 2012,
  doi       = {10.1016/j.geb.2011.11.007}
}

@article{Echenique:2012,
Author = {Echenique, F.},
Title = {Contracts versus Salaries in Matching},
Journal = {American Economic Review},
Volume = {102},
Number = {1},
Year = {2012},
Pages = {594-601},
DOI = {10.1257/aer.102.1.594}
}

@article{Schlegel:2015,
title = "Contracts versus salaries in matching: {A} general result",
author = "Schlegel, J. C.",
journal = "Journal of Economic Theory",
volume = "159, Part A",
pages = "552-573",
year = 2015,
doi = "10.1016/j.jet.2015.07.015"
}

@article{AfacanTurhan:2015,
title = "On relationships between substitutes conditions",
author = "Afacan, M. O. and Turhan, B.",
journal = "Economics Letters",
volume = 126,
pages = "10 - 12",
year = 2015,
doi = "10.1016/j.econlet.2014.11.007"
}

@Unpublished{Afacan:2014,
  author =       {Afacan, M. O.},
  title =        "Some Further Properties of the Cumulative Offer Process",
  month =     aug,
  year =      2014,
  note = "Unpublished",
  url = "http://ssrn.com/abstract=2478418"
}

@Unpublished{Afacan:2015,
  author =       {Afacan, M. O.},
  title =        "Characterizations of the Cumulative Offer Process",
  month =     aug,
  year =      2015,
  note = "Unpublished",
  url = "http://ssrn.com/abstract=2653751"
}

@article{Kojima:2010,
title = "Impossibility of stable and nonbossy matching mechanisms",
author = "Kojima, F.",
journal = "Economics Letters",
volume = 107,
number = 1,
pages = "69 - 70",
year = 2010,
doi = "10.1016/j.econlet.2009.12.029"
}

@article{KojimaPathak:2009,
author = "Kojima, F. and Pathak, P. A.",
title = "Incentives and Stability in Large Two-Sided Matching Markets",
journal = "American Economic Review",
volume = 99,
number = 3,
year = 2009,
pages = "608-627",
doi = "10.1257/aer.99.3.608"
}

@Article{HatfieldKominers:2016,
  author =       {Hatfield, J.W. and Kominers, S.D.},
  title =        {Contract design and stability in many-to-many matching},
  journal =      "Games and Economic Behavior",
  year =         2016,
  doi = "10.1016/j.geb.2016.01.002"
}

@Unpublished{HatfieldKominersWestkamp:2016,
  author =       {Hatfield, J. W. and Kominers, S. D. and Westkamp, A.},
  title =        {Stability, Strategy-Proofness, and Cumulative Offer Mechanisms},
  note =         {presented at MATCHUP 2015},
  month =     jul,
  year =      2016
}

@Unpublished{CiupanHatfieldKominers:2016,
  author =       {Ciupan, A. and Hatfield, J. W. and Kominers, S. D.},
  title =        {An elementary proof of the Lone Wolf Theorem},
  note =         {Unpublished},
  month =     aug,
  year =      2016
}

@article {SonmezSwitzer:2013,
author = {Sönmez, T. and Switzer, T. B.},
title = "Matching With (Branch-of-Choice) Contracts at the {United States Military Academy}",
journal = {Econometrica},
volume = 81,
number = 2,
publisher = {Blackwell Publishing Ltd},
doi = {10.3982/ECTA10570},
pages = {451-488},
keywords = {Market design, matching with contracts, stability, strategy-proofness},
year = 2013
}

@article{AbdulkadirogluSonmez:1999,
title = "House Allocation with Existing Tenants",
journal = "Journal of Economic Theory",
volume = 88,
number = 2,
pages = "233 - 260",
year = 1999,
doi = "10.1006/jeth.1999.2553",
author = "Abdulkadiroğlu, A. and Sönmez, T."
}

@article{SonmezUnver:2010,
title = "House allocation with existing tenants: A characterization",
journal = "Games and Economic Behavior",
volume = 69,
number = 2,
pages = "425 - 445",
year = 2010,
doi = "10.1016/j.geb.2009.10.010",
author = "Sönmez, T. and Ünver, M. U."
}

@TechReport{Thomson:2014,
  author =       {William Thomson},
  title =        {Non-bossiness},
  note =         {Working Paper No. 586},
  institution =  {Rochester Center for Economic Research, University of Rochester},
  month =     dec,
  year =      2014,
  url = "http://rcer.econ.rochester.edu/RCERPAPERS/rcer_586.pdf"
}

@inproceedings{Dworczak:2016,
  author    = {Dworczak, P.},
  title     = {Deferred Acceptance with Compensation Chains},
  booktitle = {Proceedings of the 2016 {ACM} Conference on Economics and Computation,
               {EC} '16, Maastricht, The Netherlands, July 24-28, 2016},
  pages     = {65-66},
  year      = {2016},
  crossref  = {DBLP:conf/sigecom/2016},
  doi       = {10.1145/2940716.2940727},
}

@proceedings{DBLP:conf/sigecom/2016,
  editor    = {Conitzer, V. and
               Bergemann, D. and
               Chen, Y.},
  title     = {Proceedings of the 2016 {ACM} Conference on Economics and Computation,
               {EC} '16, Maastricht, The Netherlands, July 24-28, 2016},
  publisher = {{ACM}},
  year      = {2016},
  doi       = {10.1145/2940716},
}

@article{Sotomayor:1996,
  title = "A Non-constructive Elementary Proof of the Existence of Stable Marriages",
  journal = "Games and Economic Behavior",
  volume = 13,
  number = 1,
  pages = "135 - 137",
  year = 1996,
  doi = "10.1006/game.1996.0029",
  author = "M. Sotomayor"
}

@book{Manlove:2013,
  author    = {D. F. Manlove},
  title     = {Algorithmics of Matching Under Preferences},
  series    = {Series on Theoretical Computer Science},
  volume    = 2,
  publisher = {WorldScientific},
  year      = 2013,
  doi       = {10.1142/8591},
}

@inproceedings{HamidCastleberry:2010,
  author    = {Hamid, N. A. and
               Castleberry, C.},
  title     = {Formally certified stable marriages},
  booktitle = {Proceedings of the 48th Annual Southeast Regional Conference, 2010,
               Oxford, MS, USA, April 15-17, 2010},
  pages     = {34},
  year      = {2010},
  crossref  = {DBLP:conf/ACMse/2010},
  doi       = {10.1145/1900008.1900056},
}

@proceedings{DBLP:conf/ACMse/2010,
  editor    = {Cunningham, H. C. and
               Ruth, P. and
               Kraft, N. A.},
  title     = {Proceedings of the 48th Annual Southeast Regional Conference, 2010,
               Oxford, MS, USA, April 15-17, 2010},
  publisher = {{ACM}},
  year      = 2010,
}

@Unpublished{AnderssonEhlers:2016,
  author =       {Andersson, T. and Ehlers, L.},
  title =        {Assigning Refugees to Landlords in {Sweden}: Stable Maximum Matchings},
  year =         2016,
  month =     jul,
  note = "Working Paper 2016:18, Department of Economics, School of Economics and Management, Lund University",
  url = "http://project.nek.lu.se/publications/workpap/papers/wp16_18.pdf"
}

@article{ChenEgesdalPyciaUenmez:2016,
Author = {Chen, P. and Egesdal, M. and Pycia, M. and Yenmez, M. B.},
Title = {Manipulability of Stable Mechanisms},
Journal = {American Economic Journal: Microeconomics},
Volume = 8,
Number = 2,
Year = 2016,
Month = may,
Pages = {202-14},
DOI = {10.1257/mic.20150035}
}

@article{AshlagiGonczarowski:2015,
  author    = {Ashlagi, I. and
               Gonczarowski, Y. A.},
  title     = {No Stable Matching Mechanism is Obviously Strategy-Proof},
  journal   = {CoRR},
  volume    = {abs/1511.00452},
  year      = 2015,
  url       = {http://arxiv.org/abs/1511.00452}
}

@inproceedings{Gonczarowski:2014,
  author    = {Gonczarowski, Y. A.},
  title     = {Manipulation of stable matchings using minimal blacklists},
  booktitle = {{ACM} Conference on Economics and Computation, {EC} '14, Stanford
               , CA, USA, June 8-12, 2014},
  pages     = 449,
  year      = 2014,
  crossref  = {DBLP:conf/sigecom/2014},
  doi       = {10.1145/2600057.2602840},
}

@proceedings{DBLP:conf/sigecom/2014,
  editor    = {Babaioff, M. and
               Conitzer, V. and
               Easley, D.},
  title     = {{ACM} Conference on Economics and Computation, {EC} '14, Stanford
               , CA, USA, June 8-12, 2014},
  publisher = {{ACM}},
  year      = 2014
}

@article{DengShenTang:2016,
  author    = {Deng, Y. and
               Shen, W. and
               Tang, P.},
  title     = {Coalition manipulations of the Gale-Shapley algorithm},
  journal   = {CoRR},
  volume    = {abs/1502.07823},
  year      = 2016,
  url       = {http://arxiv.org/abs/1502.07823},
}

@article{Blanchette:2016,
  author    = {Blanchette, J. C. and
               Kaliszyk, C. and
               Paulson, L. C. and
               Urban, J.},
  title     = {Hammering towards {QED}},
  journal   = {J. Formalized Reasoning},
  volume    = 9,
  number    = 1,
  pages     = {101--148},
  year      = 2016,
  doi       = {10.6092/issn.1972-5787/4593}
}
