{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T00:07:18Z","timestamp":1649030838731},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1007\/s11786-014-0177-x","type":"journal-article","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T11:32:12Z","timestamp":1398252732000},"page":"5-10","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Automated Reasoning in Social Choice Theory: Some Remarks"],"prefix":"10.1007","volume":"8","author":[{"given":"Siddharth","family":"Chatterjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arunava","family":"Sen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,4,24]]},"reference":[{"issue":"1","key":"177_CR1","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/s00199-002-0270-2","volume":"22","author":"R. Arlegi","year":"2003","unstructured":"Arlegi R.: A note on Bossert, Pattanaik and Xu\u2019s\u2014choice under complete uncertainty: axiomatic characterization of some decision rules. Econ. Theory 22(1), 219\u2013225 (2003)","journal-title":"Econ. Theory"},{"issue":"1","key":"177_CR2","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s00199-002-0285-8","volume":"22","author":"N. Aswal","year":"2003","unstructured":"Aswal N., Chatterji S., Sen A.: Dictatorial domains. Econ. Theory 22(1), 45\u201362 (2003)","journal-title":"Econ. Theory"},{"issue":"2","key":"177_CR3","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/PL00004080","volume":"16","author":"W. Bossert","year":"2000","unstructured":"Bossert W., Pattanaik P.K., Xu Y.: Choice under complete uncertainty: axiomatic characterization of some decision rules. Econ. Theory 16(2), 295\u2013312 (2000)","journal-title":"Econ. Theory"},{"key":"177_CR4","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1613\/jair.3126","volume":"40","author":"C. Geist","year":"2011","unstructured":"Geist C., Endriss U.: Automated search for impossibility theorems in social choice theory: ranking sets of objects. J. Artif. Intell. Res. 40, 143\u2013174 (2011)","journal-title":"J. Artif. Intell. Res."},{"key":"177_CR5","doi-asserted-by":"crossref","first-page":"665","DOI":"10.2307\/1911681","volume":"45","author":"A.F. Gibbard","year":"1977","unstructured":"Gibbard A.F.: Manipulation of voting schemes that mix voting with chance. Econometrica 45, 665\u2013681 (1977)","journal-title":"Econometrica"},{"issue":"3","key":"177_CR6","doi-asserted-by":"crossref","first-page":"565","DOI":"10.2307\/1910406","volume":"47","author":"D.M. Kreps","year":"1979","unstructured":"Kreps D.M.: A representation theorem for \u201cpreferences for flexibility\u201d. Econometrica 47(3), 565\u2013578 (1979)","journal-title":"Econometrica"},{"issue":"2","key":"177_CR7","first-page":"103","volume":"11","author":"M. Malwaski","year":"1994","unstructured":"Malwaski M., Zhou L.: A note on social choice theory without the Pareto principle. Soc. Choice Welf. 11(2), 103\u2013107 (1994)","journal-title":"Soc. Choice Welf."},{"issue":"4","key":"177_CR8","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF00128122","volume":"35","author":"H. Moulin","year":"1980","unstructured":"Moulin H.: On strategyproofness and single-peakedness. Public Choice 35(4), 437\u2013455 (1980)","journal-title":"Public Choice"},{"issue":"1","key":"177_CR9","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1287\/moor.6.1.58","volume":"6","author":"R.B. Myerson","year":"1981","unstructured":"Myerson R.B.: Optimal auction design. Math. Oper. Res. 6(1), 58\u201373 (1981)","journal-title":"Math. Oper. Res."},{"issue":"6","key":"177_CR10","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.1111\/1468-0262.00166","volume":"68","author":"S. P\u00e1pai","year":"2000","unstructured":"P\u00e1pai S.: Strategyproof assignment by hierarchical exchange. Econometrica 68(6), 1403\u20131433 (2000)","journal-title":"Econometrica"},{"issue":"1","key":"177_CR11","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.mathsocsci.2008.08.001","volume":"57","author":"S. Sato","year":"2009","unstructured":"Sato S.: Strategyproof social choice with exogenous indifference classes. Math. Soc. Sci. 57(1), 48\u201357 (2009)","journal-title":"Math. Soc. Sci."},{"key":"177_CR12","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/978-94-009-9838-4_12","volume-title":"Decision Theory and Social Ethics, Issues in Social Choice","author":"D. Schmeidler","year":"1978","unstructured":"Schmeidler D., Sonnenschein H.F.: Two proofs of the Gibbard-Satterthwaite theorem on the possibility of a strategy-proof social choice function. In: Gottinger, H.W., Leinfeller, W. (eds.) Decision Theory and Social Ethics, Issues in Social Choice, pp. 227\u2013234. D. Reidel, Dordrecht (1978)"},{"key":"177_CR13","doi-asserted-by":"crossref","unstructured":"Sen, A.K.: Social choice theory. In Arrow, K., Intriligator, M. (eds) Handbook of Mathematical Economics, vol. III, pp. 1073\u20131181. North-Holland, Amsterdam (1986)","DOI":"10.1016\/S1573-4382(86)03004-7"},{"key":"177_CR14","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/S0165-1765(00)00362-1","volume":"70","author":"A. Sen","year":"2001","unstructured":"Sen A.: Another direct proof of the Gibbard-Satterthwaite theorem. Econ. Lett. 70, 381\u2013385 (2001)","journal-title":"Econ. Lett."},{"key":"177_CR15","unstructured":"Tang, P., Lin, F.: A computer-aided proof to Gibbard-Satterthwaite theorem (mimeo) (2008)"},{"key":"177_CR16","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1016\/j.artint.2009.02.005","volume":"173","author":"P. Tang","year":"2009","unstructured":"Tang P., Lin F.: Computer-aided proofs of Arrow\u2019s and other impossibility theorems. Artif. Intell. 173, 1041\u20131053 (2009)","journal-title":"Artif. Intell."}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-014-0177-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-014-0177-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-014-0177-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T20:39:13Z","timestamp":1565383153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-014-0177-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["177"],"URL":"https:\/\/doi.org\/10.1007\/s11786-014-0177-x","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}