{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:38Z","timestamp":1749725018597},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637004"},{"type":"electronic","value":"9783540696315"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052158","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T00:43:12Z","timestamp":1149640992000},"page":"188-207","source":"Crossref","is-referenced-by-count":4,"title":["Sloopy Identity"],"prefix":"10.1007","author":[{"given":"Claire","family":"Gardent","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"11_CR1","unstructured":"Noam Chomsky and Howard Lasnik. Syntax: An International Handbook of Contemporary Research, chapter Principles and Parameter Theory. Walter de Gruyter, 1991. To appear."},{"key":"11_CR2","unstructured":"Robin Cooper. The interpretation of pronouns. In F. Heny and H.S. Schnelle, editors, Syntax and Semantics, number 10, pages 61\u201393. 1979."},{"key":"11_CR3","unstructured":"Osten Dahl. On so-called sloppy identity. Gothenburg Papers in Theoretical Linguistics 11, University of G\u00f6teborg, 1972."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00630923","volume":"14","author":"M. Dalrymple","year":"1991","unstructured":"Mary Dalrymple, Stuart Shieber, and Fernando Pereira. Ellipsis and higher-order unification. Linguistics and Philosophy, 14:399\u2013452, 1991.","journal-title":"Linguistics and Philosophy"},{"key":"11_CR5","volume-title":"Indices and Identity","author":"R. Fiengo","year":"1994","unstructured":"Robert Fiengo and Robert May. Indices and Identity. MIT Press, Cambridge, 1994."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer Verlag, 1990.","DOI":"10.1007\/978-1-4684-0357-2"},{"key":"11_CR7","first-page":"251","volume-title":"Logics in AI","author":"C. Gardent","year":"1990","unstructured":"Claire Gardent. Dynamic semantics and vp ellipsis. In Jan van Eijck, editor, Logics in AI, pages 251\u2013267, Amsterdam, The Netherlands, 1990. Springer-Verlag."},{"key":"11_CR8","unstructured":"Claire Gardent. Parallelism, hou and deaccenting. CLAUS Report 85, University of Saarbr\u00fccken, January 1997."},{"key":"11_CR9","volume-title":"Proceedings of the 34th Annual Meeting of the Association for Computational Linguistics","author":"C. Gardent","year":"1996","unstructured":"Claire Gardent and Michael Kohlhase. Higher-order coloured unification and natural language semantics. In Proceedings of the 34th Annual Meeting of the Association for Computational Linguistics. ACL, Santa Cruz, 1996."},{"key":"11_CR10","first-page":"268","volume-title":"Proceedings of KONVENS96","author":"C. Gardent","year":"1996","unstructured":"Claire Gardent, Michael Kohlhase, and Noor van Leusen. Corrections and Higher-Order Unification. In Proceedings of KONVENS96, pages 268\u2013279. De Gruyter, Bielefeld, Germany, 1996."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Claire Grover, Chris Brew, Suresh Manandhar, and Marc Moens. Priority union and generalisation in discourse grammar. In Proceedings of the 31th Annual Meeting of the Association for Computational Linguistics, 1994.","DOI":"10.3115\/981732.981735"},{"key":"11_CR12","unstructured":"Daniel Hardt. Dynamic interpretation of verb phrase ellipsis. Ms., University of Villanova, 1996."},{"key":"11_CR13","unstructured":"Jerry Hobbs. Literature and Cognition. Number 21 in CSLI Lecture Notes. CSLI, 1990."},{"key":"11_CR14","volume-title":"Proceedings of the 14th Conference on Automated Deduction, LNAI","author":"D. Hutter","year":"1997","unstructured":"Dieter Hutter and Michael Kohlhase. A coloured version of the \u03bb-calculus. In William McCune, editor, Proceedings of the 14th Conference on Automated Deduction, LNAI, Townsville, Australia, 1997. Springer Verlag, forthcoming."},{"key":"11_CR15","unstructured":"Andrew Kehler. Interpreting Cohesive Forms in the Context of Discourse Inference. PhD thesis, Harvard University, 1995."},{"key":"11_CR16","volume-title":"Proceedings of the Tableau Workshop","author":"M. Kohlhase","year":"1995","unstructured":"Michael Kohlhase. Higher-order tableaux. In Proceedings of the Tableau Workshop, Koblenz, Germany, 1995."},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF00985038","volume":"17","author":"H. Pr\u00fcst","year":"1994","unstructured":"H. Pr\u00fcst, R. Scha, and M. van den Berg. Discourse grammar and verb phrase anaphora. Linguistics and Philosophy, 17:261\u2013327, 1994.","journal-title":"Linguistics and Philosophy"},{"key":"11_CR18","unstructured":"Mats Rooth. Ellipsis redundancy and reduction redundancy. In Steve Berman and Arild Hestvik, editors, Proceedings of the Stuttgart Ellipsis Workshop, University of Stuttgart, 1992."},{"key":"11_CR19","unstructured":"Christopher Tancredi. Deletion, Deaccenting and Presupposition. PhD thesis, Massachusetts Institute of Technology, 1992."}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052158","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:25:45Z","timestamp":1555640745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052158"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637004","9783540696315"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0052158","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}