{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:55Z","timestamp":1725663655992},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572879"},{"type":"electronic","value":"9783540480365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57287-2_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:38:37Z","timestamp":1330259917000},"page":"61-76","source":"Crossref","is-referenced-by-count":0,"title":["Resolution of constraints in algebras of rational trees"],"prefix":"10.1007","author":[{"given":"Luis","family":"Damas","sequence":"first","affiliation":[]},{"given":"Nelma","family":"Moreira","sequence":"additional","affiliation":[]},{"given":"Sabine","family":"Broda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Luis Damas, Nelma Moreira, and Giovanni B. Varile. The formai and processing models of CLG. In Fiifth Conference of the European Chapter of the Association for Computational Linguistics, pages 173\u2013178, Berlin, 1991.","DOI":"10.3115\/977180.977210"},{"key":"5_CR2","unstructured":"Luis Damas, Nelma Moreira, and Giovanni B. Varile. The formal and computational theory of constraint logic grammars. In Proceedings of the Workshop on Constraint Propagation and Linguistic Description, Lugano, 1992."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Luis Damas and Giovanni B. Varile. CLG: A grammar formalism based on constraint resolution. In E.M.Morgado and J.P.Martins, editors, EPIA 89, volume 390 of Lecture Notes in Artificial Intelligence, pages 175\u2013186. Springer Verlag, 1989.","DOI":"10.1007\/3-540-51665-4_84"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Luis Damas and Giovanni B. Varile. On the satisfiability of complex constraints. In Proceedings of the 14th International Conference on Computational Linguistics (COLING), Nantes, France, 1992.","DOI":"10.3115\/992066.992086"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"A. Eisele and J. D\u00f6rre. Unification of disjunctive feature descriptions. In 26th Annual Meeting of the Association for Computational Linguistics, Buffalo, New York, 1988.","DOI":"10.3115\/982023.982058"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"R. T. Kasper. Unification method for disjunctive feature descriptions. In 25th Annual Meeting of the Association for Computational Linguistics, Standford, CA, 1987.","DOI":"10.3115\/981175.981208"},{"key":"5_CR7","unstructured":"R. Kaplan and J. Bresnan. Lexical functional grammar: A formal system for grammatical representation. In Joan Bresnan, editor, The Mental Representation of Grammatical Relations. MIT Press, 1982."},{"key":"5_CR8","volume-title":"Technical report","author":"M. J. Maher","year":"1988","unstructured":"Michael J. Maher. Complete axiomatizations of the algebras of finite, rational and infinite trees. Technical report, IBM Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598, U.S.A., 1988."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"John T. Maxwell and Ronald M. Kaplan. A method for disjunctive constraint satisfaction. In Massaru Tomita, editor, Current Issues in Parsing Technology. Kluwer Academic Publishers, 1991.","DOI":"10.1007\/978-1-4615-3986-5_12"},{"key":"5_CR10","volume-title":"Information Based Syntax and Semantics, Volume 1, Fundamentals, volume 13","author":"C. Pollard","year":"1987","unstructured":"Carl Pollard and Ivan Sag. Information Based Syntax and Semantics, Volume 1, Fundamentals, volume 13. Center for the Study of Language and Information Stanford, 1987."},{"key":"5_CR11","unstructured":"W.C. Rounds and R.T. Kasper. A complete logical calculus for record structures representing linguistic information. In Symposium on Logic in Computer Science, IEEE Computer Society, 1986."},{"key":"5_CR12","unstructured":"Gert Smolka. Feature logic with subsorts. Technical report, IBM Wissenschafliches Zentrum, Institut f\u00fcr Wissensbasierte Systeme, 1989. LILOG Report 33."},{"key":"5_CR13","unstructured":"Gert Smolka and Ralf Treinen. Records for logic programming. In Krzysztof Apt, editor, ICLP92. MIT, 1992."},{"key":"5_CR14","unstructured":"Stuart M. Shieber, Hans Uszkoreit, Fernando C.N. Pereira, J. Robinson, and M. Tyson. The formalism and implementation of PATR-II. In B. J. Grosz and M. E. Stickel, editors, Research on Interactive Acquisition and Use of Knowledge. SRI report, 1983."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Hans Uszkoreit. Categorial unification grammar. In Proceedings of the 11th International Conference on Computational Linguistics (COLING), Bonn, 1986.","DOI":"10.3115\/991365.991422"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57287-2_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:47Z","timestamp":1605647447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57287-2_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572879","9783540480365"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-57287-2_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}