{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:47:32Z","timestamp":1742928452480,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319190891"},{"type":"electronic","value":"9783319190907"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-19090-7_34","type":"book-chapter","created":{"date-parts":[[2016,2,25]],"date-time":"2016-02-25T04:37:29Z","timestamp":1456375049000},"page":"455-463","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["E-Unification of Feature Structures"],"prefix":"10.1007","author":[{"given":"Petr","family":"Homola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,26]]},"reference":[{"key":"34_CR1","unstructured":"Alsina, A.: A theory of complex predicates: evidence from causatives in bantu and romance. In: Alsina, A., Bresnan, J., Sells, P. (eds.) Complex Predicates, pp. 203\u2013246 (1997)"},{"key":"34_CR2","unstructured":"Alsina, A., Bresnan, J., Sells, P.: Complex predicates: structure and theory. In: Alsina, A., Bresnan, J., Sells, P. (eds.) Complex Predicates, pp. 1\u201312 (1997)"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)","DOI":"10.1017\/CBO9781139172752"},{"key":"34_CR4","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1016\/B978-044450813-3\/50010-2","volume-title":"Handbook of Automated Reasoning","author":"Franz Baader","year":"2001","unstructured":"Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 439\u2013526 (2001)"},{"key":"34_CR5","volume-title":"Lexical-Functional Syntax","author":"J Bresnan","year":"2001","unstructured":"Bresnan, J.: Lexical-Functional Syntax. Blackwell Textbooks in Linguistics, New York (2001)"},{"key":"34_CR6","unstructured":"Colmerauer, A.: Les syst\u00e8mes Q ou un formalisme pour analyser et synth\u00e9tiser des phrases sur ordinateur. Technical Report, Mimeo, Montr\u00e9al (1969)"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Dalrymple, M.: Lexical Functional Grammar, Syntax and Semantics, vol. 34. Academic Press (2001)","DOI":"10.1163\/9781849500104"},{"key":"34_CR8","volume-title":"Mental Representation of Grammatical Relations","author":"RM Kaplan","year":"1982","unstructured":"Kaplan, R.M., Bresnan, J.: Lexical-functional grammar: A formal system for grammatical representation. In: Bresnan, J. (ed.) Mental Representation of Grammatical Relations. MIT Press, Cambridge (1982)"},{"key":"34_CR9","unstructured":"Kaplan, R.M., Wedekind, J.: Restriction and Structure Misalignment, ms, Xerox Palo Alto Research Center (1991)"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Kaplan, R.M., Wedekind, J.: Restriction and correspondence-based translation. In: Proceedings of the 6th EACL Conference, pp. 193\u2013202 (1993)","DOI":"10.3115\/976744.976768"},{"key":"34_CR11","doi-asserted-by":"crossref","first-page":"142","DOI":"10.3765\/bls.v5i0.3262","volume":"5","author":"Martin Kay","year":"1979","unstructured":"Kay, M.: Functional Grammar. In: Proceedings of the 5th meeting of the Berkeley Linguistics Society (1979)","journal-title":"Annual Meeting of the Berkeley Linguistics Society"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Kay, M.: Functional Unification Grammar: a formalism for machine translation. In: Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics (1984)","DOI":"10.3115\/980491.980509"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Knuth, D., Bendix, P.: Simple Word Problems in Universal Algebras, pp. 263\u2013297 (1970)","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Rounds, W.C.: Feature Logics. In: van Benthem, J.F., ter Meulen, A., (eds.) Handbook of Logic and Language. Elsevier (1996)","DOI":"10.1016\/B978-044481714-3\/50012-6"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Uszkoreit, H.: Categorial Unification Grammars. In: Proceedings of COLING (1986)","DOI":"10.3115\/991365.991422"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"Wedekind, J.: Classical logics for attribute-value languages. In: Proceedings of the 5th EACL Conference, pp. 204\u2013209 (1991)","DOI":"10.3115\/977180.977216"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Wedekind, J., Kaplan, R.M.: Type-driven semantic interpretation of f-structures. In: Proceedings of the 6th Conference of the European Chapter of the Association for Computational Linguistics (1993)","DOI":"10.3115\/976744.976791"}],"container-title":["Advances in Intelligent Systems and Computing","Knowledge, Information and Creativity Support Systems: Recent Trends, Advances and Solutions"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19090-7_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T15:35:13Z","timestamp":1676993713000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19090-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319190891","9783319190907"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19090-7_34","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"26 February 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}