{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T22:50:50Z","timestamp":1762296650275,"version":"3.41.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[2001,12]]},"DOI":"10.1023\/a:1017964622902","type":"journal-article","created":{"date-parts":[[2002,12,30]],"date-time":"2002-12-30T14:36:44Z","timestamp":1041259004000},"page":"457-485","source":"Crossref","is-referenced-by-count":34,"title":["The Constraint Language for Lambda Structures"],"prefix":"10.1007","volume":"10","author":[{"given":"Markus","family":"Egg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Koller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Niehren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"353836_CR1","first-page":"32","volume-title":"Proceedings of the 30th ACL","author":"H. Alshawi","year":"1992","unstructured":"Alshawi, H. and Crouch, R., 1992, \u201cMonotonic semantic interpretation,\u201d, pp. 32-39 in Proceedings of the 30th ACL, Newark: Morgan Kaufmann Publishers."},{"key":"353836_CR2","first-page":"31","volume-title":"Proceedings of the 12th International Conference on Rewriting Techniques and Applications, Utrecht","author":"M. Bodirsky","year":"2001","unstructured":"Bodirsky, M., Erk, K., Koller, A., and Niehren, J., 2001a, \u201cBeta reduction constraints,\u201d pp. 31-46 in Proceedings of the 12th International Conference on Rewriting Techniques and Applications, Utrecht, A. Middeldorp, ed., Berlin: Springer-Verlag."},{"key":"353836_CR3","first-page":"74","volume-title":"Proceedings of the 39th ACL, Toulouse","author":"M. Bodirsky","year":"2001","unstructured":"Bodirsky, M., Erk, K., Koller, A., and Niehren, J., 2001b, \u201cUnderspecified beta reduction,\u201d pp. 74-81 in Proceedings of the 39th ACL, Toulouse, San Francisco, CA: Morgan Kaufmann Publishers."},{"key":"353836_CR4","first-page":"133","volume-title":"Proceedings of the 10th Amsterdam Colloquium","author":"J. Bos","year":"1996","unstructured":"Bos, J., 1996, \u201cPredicate logic unplugged,\u201d pp. 133-143 in Proceedings of the 10th Amsterdam Colloquium, P. Dekker and M. Stokhof, eds., Amsterdam: University of Amsterdam."},{"key":"353836_CR5","unstructured":"CHORUS Project, 1999, \u201cThe CHORUS demo system,\u201d http:\/\/www.coli.uni-sb.de\/cl\/ projects\/chorus\/demo.html"},{"key":"353836_CR6","first-page":"229","volume-title":"Proceedings of the 7th EACL, Dublin","author":"R. Crouch","year":"1995","unstructured":"Crouch, R., 1995, \u201cEllipsis and quantification: A substitutional approach,\u201d pp. 229-236 in Proceedings of the 7th EACL, Dublin, San Francisco, CA: Morgan Kaufmann Publishers."},{"key":"353836_CR7","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00630923","volume":"14","author":"M. Dalrymple","year":"1991","unstructured":"Dalrymple, M., Shieber, S., and Pereira, F., 1991, \u201cEllipsis and higher-order unification,\u201d Linguistics & Philosophy\n14, 399-452.","journal-title":"Linguistics & Philosophy"},{"key":"353836_CR8","first-page":"326","volume-title":"Proceedings of the First International Conference on Computational Logic (CL2000)","author":"D. Duchier","year":"2000","unstructured":"Duchier, D. and Niehren, J., 2000, \u201cDominance constraints with set operators,\u201d pp. 326-341 in Proceedings of the First International Conference on Computational Logic (CL2000), J. Lloyd et al., eds., Berlin: Springer-Verlag."},{"key":"353836_CR9","unstructured":"Egg, M., 2001, \u201cReinterpretation from a synchronic and diachronic point of view,\u201d Linguistics, to appear."},{"key":"353836_CR10","first-page":"353","volume-title":"Proceedings COLING\/ACL'98, Montreal","author":"M. Egg","year":"1998","unstructured":"Egg, M., Niehren, J., Ruhrberg, P., and Xu, F., 1998, \u201cConstraints over lambda-structures in semantic underspecification,\u201d pp. 353-359 in Proceedings COLING\/ACL'98, Montreal, San Francisco, CA: Morgan Kaufmann Publishers."},{"key":"353836_CR11","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/10721975_8","volume-title":"Proceedings of the 11th International Conference on Rewriting Techniques and Applications, Norwich, U.K.","author":"K. Erk","year":"2000","unstructured":"Erk, K. and Niehren, J., 2000, \u201cParallelism constraints,\u201d pp. 110-126 in Proceedings of the 11th International Conference on Rewriting Techniques and Applications, Norwich, U.K., L. Bachmair, ed., Berlin: Springer-Verlag."},{"key":"353836_CR12","unstructured":"Erk, K., Koller, A., and Niehren, J., 2001, \u201cProcessing underspecified semantic representations in the constraint language for lambda structures,\u201d Journal of Language and Computation, to appear."},{"key":"353836_CR13","volume-title":"Indices and Identity","author":"R. Fiengo","year":"1994","unstructured":"Fiengo, R. and May, R., 1994, Indices and Identity, Cambridge, MA: MIT Press."},{"key":"353836_CR14","first-page":"50","volume-title":"Proceedings of the 4th TAG+ Workshop","author":"C. Gardent","year":"1998","unstructured":"Gardent, C. and Webber, B., 1998, \u201cDescribing discourse semantics,\u201d pp. 50-53 in Proceedings of the 4th TAG+ Workshop, A. Abeill\u00e9 et al., eds., Philadelphia, PA: University of Pennsylvania."},{"key":"353836_CR15","series-title":"CSLI Lecture Notes","volume-title":"Anaphora and Quantification in Situation Semantics","author":"M. Gawron","year":"1990","unstructured":"Gawron, M. and Peters, S., 1990, Anaphora and Quantification in Situation Semantics, CSLI Lecture Notes, No. 19, Stanford, CA\/Chicago, IL: CSLI\/University of Chicago Press."},{"key":"353836_CR16","first-page":"132","volume-title":"NELS 12","author":"P. Hirschb\u00fchler","year":"1982","unstructured":"Hirschb\u00fchler, P., 1982, \u201cVP deletion and across the board quantifier scope,\u201d pp. 132-139 in NELS 12, J. Pustejovsky and P. Sells, eds., Cambridge: CLSA Publications."},{"key":"353836_CR17","first-page":"145","volume-title":"Proceedings of the Twelfth Amsterdam Colloquium, Amsterdam","author":"J. Jaspars","year":"1999","unstructured":"Jaspars, J. and Koller, A., 1999, \u201cA calculus for direct deduction with dominance constraints,\u201d pp. 145-150 in Proceedings of the Twelfth Amsterdam Colloquium, Amsterdam, P. Dekker, ed., Amsterdam: ILLC."},{"key":"353836_CR18","doi-asserted-by":"crossref","unstructured":"Kehler, A., 1993, \u201cA discourse copying algorithm for ellipsis and anaphora resolution,\u201d pp. 203-212 in Proceedings of EACL, ACL.","DOI":"10.3115\/976744.976769"},{"key":"353836_CR19","unstructured":"Kehler, A., 1995, \u201cInterpreting cohesive forms in the context of discourse inference,\u201d Ph.D. Thesis, Harvard University."},{"key":"353836_CR20","first-page":"460","volume-title":"Proceedings of the 18th COLING, Saarbr\u00fccken","author":"A. Koller","year":"2000","unstructured":"Koller, A. and Niehren, J., 2000, \u201cOn underspecified processing of dynamic semantics,\u201d pp. 460-466 in Proceedings of the 18th COLING, Saarbr\u00fccken, San Francisco, CA: Morgan Kaufmann Publishers."},{"key":"353836_CR21","volume-title":"Logic Unleashed: Language, Diagrams, and Computation. Proceedings of the 8th CSLI Workshop on Logic, Language, and Computation","author":"A. Koller","year":"2001","unstructured":"Koller, A. and Niehren, J., 2001, \u201cConstraint programming in computational linguistics,\u201d in Logic Unleashed: Language, Diagrams, and Computation. Proceedings of the 8th CSLI Workshop on Logic, Language, and Computation, D. Barker-Plummer, D. Beaver, J. van Benthem, and P.S. di Luzio, eds., Stanford, CA: CSLI Press, to appear."},{"key":"353836_CR22","first-page":"368","volume-title":"Proceedings of the 38th ACL, Hong Kong","author":"A. Koller","year":"2000","unstructured":"Koller, A., Mehlhorn, K., and Niehren, J., 2000a, \u201cA polynomial-time fragment of dominance constraints,\u201d pp. 368-375 in Proceedings of the 38th ACL, Hong Kong, San Francisco, CA: Morgan Kaufmann Publishers."},{"issue":"2-3","key":"353836_CR23","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1009948924590","volume":"3","author":"A. Koller","year":"2000","unstructured":"Koller, A., Niehren, J., and Striegnitz, K., 2000b \u201cRelaxing underspecified semantic representations for reinterpretation,\u201d Grammars\n3(2-3), 217-241.","journal-title":"Grammars"},{"key":"353836_CR24","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of the Third Conference on Logical Aspects of Computational Linguistics (LACL '98)","author":"A. Koller","year":"2001","unstructured":"Koller, A., Niehren, J., and Treinen, R., 2001, \u201cDominance constraints: Algorithms and complexity,\u201d in Proceedings of the Third Conference on Logical Aspects of Computational Linguistics (LACL '98), M. Moortgat, ed., Lecture Notes in Artificial Intelligence, Vol. 2014, Heidelberg: Springer-Verlag, to appear."},{"key":"353836_CR25","unstructured":"Muskens, R., 1995, \u201cOrder-independence and underspecification,\u201d pp. 15-34 in Ellipsis, Underspecification, Events and More in Dynamic Semantics, J. Groenendijk, ed., DYANA Deliverable R.2.2.C."},{"key":"353836_CR26","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of the Third Conference on Logical Aspects of Computational Linguistics, Grenoble","author":"J. Niehren","year":"2001","unstructured":"Niehren, J. and Koller, A., 2001, \u201cDominance constraints in context unification,\u201d in Proceedings of the Third Conference on Logical Aspects of Computational Linguistics, Grenoble, M. Moortgat, ed., Lecture Notes in Artificial Intelligence, Vol. 2014, Heidelberg: Springer-Verlag, to appear."},{"key":"353836_CR27","first-page":"34","volume-title":"Proceedings 14th CADE","author":"J. Niehren","year":"1997","unstructured":"Niehren, J., Pinkal, M., and Ruhrberg, P., 1997a, \u201cOn equality up-to constraints over finite trees, context unification, and one-step rewriting,\u201d pp. 34-48 in Proceedings 14th CADE, W. McCune, ed., Berlin: Springer-Verlag."},{"key":"353836_CR28","first-page":"410","volume-title":"Proceedings ACL'97, Madrid","author":"J. Niehren","year":"1997","unstructured":"Niehren, J., Pinkal, M., and Ruhrberg, P., 1997b, \u201cA uniform approach to underspecification and parallelism,\u201d pp. 410-417 in Proceedings ACL'97, Madrid, San Francisco, CA: Morgan Kaufmann Publishers."},{"key":"353836_CR29","first-page":"587","volume-title":"Proceedings of the 10th Amsterdam Colloquium","author":"M. Pinkal","year":"1996","unstructured":"Pinkal, M., 1996, \u201cRadical underspecification,\u201d pp. 587-606 in Proceedings of the 10th Amsterdam Colloquium, P. Dekker and M. Stokhof, eds., Amsterdam: University of Amsterdam."},{"key":"353836_CR30","first-page":"151","volume-title":"Proceedings of ACL'95","author":"O. Rambow","year":"1995","unstructured":"Rambow, O., Vijay-Shanker, K., and Weir, D., 1995, \u201cD-tree grammars,\u201d pp. 151-158 in Proceedings of ACL'95, San Francisco, CA: Morgan Kaufmann Publishers."},{"key":"353836_CR31","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1093\/jos\/10.2.123","volume":"10","author":"U. Reyle","year":"1993","unstructured":"Reyle, U., 1993, \u201cDealing with ambiguities by underspecification: Construction, representation, and deduction,\u201d Journal of Semantics\n10, 123-179.","journal-title":"Journal of Semantics"},{"key":"353836_CR32","unstructured":"RTA, 1998, \u201cDecidability of context unification,\u201d The RTA list of open problems, No. 90, http:\/\/www.lri.fr\/~rtaloop\/"},{"key":"353836_CR33","volume-title":"Deletion and Logical Form","author":"I.A. Sag","year":"1980","unstructured":"Sag, I.A., 1980, Deletion and Logical Form, New York: Garland Publishing."},{"key":"353836_CR34","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BFb0052361","volume-title":"Proceedings of the 9th International Conference on Rewriting Techniques and Applications","author":"M. Schmidt-Schau\u00df","year":"1998","unstructured":"Schmidt-Schau\u00df, M. and Schulz, K., 1998, \u201cOn the exponent of periodicity of minimal solutions of context equations,\u201d pp. 61-75 in Proceedings of the 9th International Conference on Rewriting Techniques and Applications, T. Nipkow, ed., Berlin: Springer-Verlag."},{"key":"353836_CR35","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/BF00632780","volume":"19","author":"S. Shieber","year":"1996","unstructured":"Shieber, S., Pereira, F., and Dalrymple, M., 1996, \u201cInteraction of scope and ellipsis,\u201d Linguistics & Philosophy\n19, 527-552.","journal-title":"Linguistics & Philosophy"},{"key":"353836_CR36","volume-title":"Semantic Ambiguity and Underspecification","author":"K. van Deemter","year":"1996","unstructured":"van Deemter, K. and Peters, S., 1996, Semantic Ambiguity and Underspecification, Stanford, CA: CSLI."},{"key":"353836_CR37","first-page":"481","volume":"18","author":"K. Vijay-Shanker","year":"1992","unstructured":"Vijay-Shanker, K., 1992, \u201cUsing descriptions of trees in a tree adjoining grammar,\u201d Computational Linguistics\n18, 481-518.","journal-title":"Computational Linguistics"},{"key":"353836_CR38","unstructured":"Xu, F., 1998, \u201cSemantic underspecification and ellipsis resolution,\u201d Diplom Thesis, University of the Saarland, http:\/\/www.coli.uni-sb.de\/cl\/projects\/chorus\/papers\/fei98a.html"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017964622902.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1017964622902\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017964622902.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:32:17Z","timestamp":1749724337000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1017964622902"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["353836"],"URL":"https:\/\/doi.org\/10.1023\/a:1017964622902","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}