{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:42:46Z","timestamp":1755218566562,"version":"3.43.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":["Grammars"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1023\/a:1009978900499","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T19:25:11Z","timestamp":1040585111000},"page":"57-84","source":"Crossref","is-referenced-by-count":0,"title":["Lexical Object Theory: Specification Level"],"prefix":"10.1007","volume":"1","author":[{"given":"Jos\u00e9 F.","family":"Quesada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Core Language Engine","year":"1991","key":"151505_CR1","unstructured":"Alshawi, H. editor. The Core Language Engine. MIT Press, Cambridge, 1991."},{"key":"151505_CR2","volume-title":"Eurotra 6\/1: Rule formalism and virtual machine design study\u2014Final report","author":"H. Alshawi","year":"1991","unstructured":"Alshawi, H., D. J. Arnold, R. Backofen, D. M. Carter, J. Lindop, K. Netter, J. Tsujii, and H. Uszkoreit. Eurotra 6\/1: Rule formalism and virtual machine design study\u2014Final report. Technical report, SRI International, Cambridge, 1991."},{"issue":"1-2","key":"151505_CR3","first-page":"37","volume":"30","author":"H. A\u00eft-Kaci","year":"1989","unstructured":"A\u00eft-Kaci, H. and P. Lincoln. Life, a natural language for natural language. T. A. Informations.30(1- 2): 37-67, 1989.","journal-title":"T. A. Informations"},{"volume-title":"The Mental Representation of Grammatical Relations","year":"1982","key":"151505_CR4","unstructured":"Bresnan, J. editor. The Mental Representation of Grammatical Relations. MIT Press, Cambridge, 1982."},{"key":"151505_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511530098","volume-title":"The logic of typed feature structures","author":"B. Carpenter","year":"1992","unstructured":"Carpenter, B. The logic of typed feature structures. Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, Cambridge, 1992."},{"key":"151505_CR6","unstructured":"Carpenter, B. and G. Penn. ALE. The Attribute Logic Engine Version 2.0.1. User's Guide. University of Pittsburgh, 1994."},{"key":"151505_CR7","series-title":"CSLI Lecture Notes","volume-title":"Formal Issues in Lexical-Functional Grammar","year":"1995","unstructured":"Dalrymple, M., R. M. Kaplan, J. T. Maxwell III, and A. Zaenen, editors. Formal Issues in Lexical-Functional Grammar.CSLI Lecture Notes 47, Center for the Study of Language and Information, Stanford, California, 1995."},{"key":"151505_CR8","unstructured":"D\u00f6rre, J. and M. Dorna. CUF \u2014 A formalism for linguistic knowledge representation. In J. D\u00f6rre, editor, Computational Aspects of Constraint-Based Linguistic Description. Deliverable R1.2. A. DYANA-2. ESPRIT Basic Research Project 6852, 1993."},{"key":"151505_CR9","doi-asserted-by":"crossref","unstructured":"Emele, M. and R. Zajac. Typed unification grammars. Proceedings of the 13th International Conference on Computational Linguistics, COLING-90,293-298, Helsinki, 1990.","DOI":"10.3115\/991146.991198"},{"key":"151505_CR10","doi-asserted-by":"crossref","unstructured":"Emele, M. C. Unification with lazy non-redundant copying. ACL Proceedings. 29th Annual Meeting, 323-330, 1991","DOI":"10.3115\/981344.981386"},{"key":"151505_CR11","volume-title":"Proceedings of the International Workshop on Sharable Natural Language Resources","author":"M. Emele","year":"1994","unstructured":"Emele, M. TFS \u2014 The Typed Feature Structure Representation Formalism. Proceedings of the International Workshop on Sharable Natural Language Resources.Nara Institute of Science and Technology, Ikoma, Nara, Japan, 1994."},{"key":"151505_CR12","doi-asserted-by":"crossref","unstructured":"Erbach, G. ProFIT: Prolog with Features, Inheritance and Templates. CMP-LG e-print archive: cmplg\/ 9502003, 1995.","DOI":"10.3115\/976973.976999"},{"key":"151505_CR13","volume-title":"Generalized Phrase Structure Grammar","author":"G. Gazdar","year":"1985","unstructured":"Gazdar, G., E. Klein, G. Pullum, and I. Sag. Generalized Phrase Structure Grammar. Harvard University Press, Cambridge, 1985."},{"key":"151505_CR14","volume-title":"Knowledge Representation and Language in AI","author":"J. P. E. Hodgson","year":"1991","unstructured":"Hodgson, J. P. E. Knowledge Representation and Language in AI.Ellis Horwood, Chichester, England, 1991."},{"key":"151505_CR15","first-page":"173","volume-title":"TheMental Representation of Grammatical Relations","author":"R. M. Kaplan","year":"1982","unstructured":"Kaplan, R. M. and J. Bresnan. Lexical-Functional Grammar: A Formal System for Grammatical Representation. In J. Bresnan, editor, TheMental Representation of Grammatical Relations, 173- 281, MIT Press, Cambridge, 1982. Also in, M. Dalrymple, R. M. Kaplan, J. T. Maxwell III, and A. Zaenen, editors, Formal Issues in Lexical-Functional Grammar, CSLI Lecture Notes 47, 29-130, Center for the Study of Language and Information, Stanford, CA 1995."},{"key":"151505_CR16","first-page":"303","volume":"1","author":"R. M. Kaplan","year":"1988","unstructured":"Kaplan, R. M. and J. T. Maxwell III. Constituent Coordination in Lexical-Functional Grammar. Proceedings of COLING-88., Vol. 1, 303-305, Budapest, 1988. Also in, M. Dalrymple, R. M. Kaplan, J. T. Maxwell III, and A. Zaenen, editors, Formal Issues in Lexical-Functional Grammar, CSLI Lecture Notes 47, 199-210, Center for the Study of Language and Information, Stanford, CA, 1995.","journal-title":"Proceedings of COLING-88"},{"key":"151505_CR17","first-page":"17","volume-title":"Alternative Conceptions of Phrase Structure","author":"R. M. Kaplan","year":"1989","unstructured":"Kaplan, R. M. and A. Zaenen. Long-distance Dependencies, Constituent Structure, and Functional Uncertainty, 1988. In M. Baltin and A. Croch, editors, Alternative Conceptions of Phrase Structure, 17-42, Chicago University Press, Chicago, 1989. Also in, M. Dalrymple, R. M. Kaplan, J. T. Maxwell III, and A. Zaenen, editors, Formal Issues in Lexical-Functional Grammar, CSLI Lecture Notes 47, 137-165, Center for the Study of Language and Information, Stanford, CA, 1995."},{"key":"151505_CR18","unstructured":"Karttunen, L. Features and Values. Proceedings of the Tenth International Conference on Computational Linguistics COLING-84.Stanford, California, 1984. Also in S. M. Shieber, F. C. N. Pereira, L. Karttunen, and M. Kay editors, A Compilation of Papers on Unification-Based Grammar Formalisms, Part I, 17-36, Report no. CSLI-86-48, Center for the Study of Language and Information, California, 1986."},{"key":"151505_CR19","unstructured":"Karttunen, L. and M. Kay. Structure sharing with binary trees. ACL Proceedings, 23rd Annual Meeting, 133-136, 1985. Also in S. M. Shieber, F. C. N. Pereira, L. Karttunen, and M. Kay editors, A Compilation of Papers on Unification-Based Grammar Formalisms, Part II, 5-16, Report no. CSLI-86-48, Center for the Study of Language and Information, California, 1986."},{"key":"151505_CR20","doi-asserted-by":"crossref","unstructured":"Kasper, R. T. and W. C. Rounds. A Logical Semantics for Feature Structures. ACL Proceedings, 24th Annual Meeting, 257-266, 1986.","DOI":"10.3115\/981131.981166"},{"key":"151505_CR21","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1017\/CBO9780511597855.008","volume-title":"Natural Language Parsing","author":"M. Kay","year":"1985","unstructured":"Kay, M. Parsing in functional unification grammar. In D. R. Dowty, L. Karttunen, and A. M. Zwicky, editors, Natural Language Parsing, 251-78, Cambridge University Press, Cambridge, 1985."},{"key":"151505_CR22","unstructured":"Kuhn, T. S. The Structure of Scientific Revolution.University of Chicago Press."},{"volume-title":"Unification","year":"1990","key":"151505_CR23","unstructured":"Kirchner, C. editor. Unification. Academic Press Inc., San Diego, CA 1990."},{"key":"151505_CR24","doi-asserted-by":"crossref","unstructured":"Kogure, K. Strategic lazy incremental copy graph unification. Proceedings of the 13th International Conference on Computational Linguistics, 223-228, 1990.","DOI":"10.3115\/997939.997978"},{"key":"151505_CR25","unstructured":"Krieger, H. and U. Sch\u00e4fer. TDL-a type description language for constraint-based grammars. Proceedings of the 15th International Conference on Computational Linguistics, COLING-94, Kyoto, Japan, 1994."},{"key":"151505_CR26","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/978-94-011-2562-8_9","volume-title":"Logic Programming: New Frontiers","author":"C. S. Mellish","year":"1992","unstructured":"Mellish, C. S. Term-encodable descriptions spaces. In D. R. Brough, editor, Logic Programming: New Frontiers, 189-207, Intellect, Oxford, 1992."},{"key":"151505_CR27","unstructured":"Messeger, J., J. A. Goguen and G. Smolka. Order-Sorted Unification. C. Kirchner, editor, Unification, 475-487, Academic Press Inc., San Diego, CA."},{"key":"151505_CR28","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F. C. N. Pereira","year":"1980","unstructured":"Pereira, F. C. N. and D. H. D. Warren. Definite clause grammars for language analysis \u2014 a survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence, 13: 231-78, 1980.","journal-title":"Artificial Intelligence"},{"key":"151505_CR29","unstructured":"Pereira, F. C. N. and S. M. Shieber. The Semantics of Grammar Formalisms seen as Computer Languages. Proceedings of the Tenth International Conference on Computational Linguistics, 1984. Stanford, CA. Also in S. M. Shieber, F. C. N. Pereira, L. Karttunen and M. Kay, editors, A Compilation of Papers on Unification-Based Grammar Formalisms, Part I, 37-58, Report no. CSLI-86-48, Center for the Study of Language and Information, CA 1986."},{"key":"151505_CR30","doi-asserted-by":"crossref","unstructured":"Pereira, F. C. N. A Structure-Sharing Representation for Unification-Based Grammar Formalisms. ACL Proceedings, 23rd Annual Meeting, 137-44, 1985. Also in S. M. Shieber, F. C. N. Pereira, L. Karttunen, and M. Kay, editors, A Compilation of Papers on Unification-Based Grammar Formalisms, Part II, 17-35, Report no. CSLI-86-48, Center for the Study of Language and Information, CA 1986.","DOI":"10.3115\/981210.981227"},{"key":"151505_CR31","volume-title":"Head-driven Phrase Structure Grammar","author":"C. J. Pollard","year":"1994","unstructured":"Pollard, C. J. and I. A. Sag. Head-driven Phrase Structure Grammar. Chicago University Press, Chicago, 1994."},{"key":"151505_CR32","unstructured":"Quesada, J. F. and G. Amores. A Computational Model for the Efficient Retrieval of Very Large Structure-Based Knowledge Bases. Proceedings of the Knowledge Representation, Use and Storage for Efficiency (KRUSE'95) Symposium, 86-96. Santa Cruz, CA 1995."},{"key":"151505_CR33","unstructured":"Rounds, W. C. and R. Kasper. A complete logical calculus for record structures representing linguistic information. Proceedings of the 1st Symposium on Logic in Computer Science, 1986."},{"key":"151505_CR34","doi-asserted-by":"crossref","unstructured":"Rounds, W. C. Feature Logics. In J. van Benthem and A. ter Meulen, editors. Handbook of Logic and Language, 475-533. Elsevier Science, 1997.","DOI":"10.1016\/B978-044481714-3\/50012-6"},{"key":"151505_CR35","volume-title":"Scripts, Plans, Goals and Understanding","author":"R. Schank","year":"1977","unstructured":"Schank, R. and R. Abelson. Scripts, Plans, Goals and Understanding.Lawrence Erlbaum, Hillsdale, NJ 1977."},{"key":"151505_CR36","unstructured":"Sch\u00fcter, A. P. Compiling feature structures into terms: A case study in Prolog.Technical Report RP-55, Centre for Cognitive Science, University of Edinburgh, 1993."},{"key":"151505_CR37","series-title":"SRI Final Report","volume-title":"Research on Interactive Acquisition and Use of Knowledge","author":"S. M. Shieber","year":"1984","unstructured":"Shieber, S. M., H. Uszkoreit, F. C. N. Pereira, J. Robinson and M. Tyson. The formalism and implementation of PATR-II. In Research on Interactive Acquisition and Use of Knowledge. Volume 1894 of SRI Final Report, SRI International, Menlo Park, CA 1984."},{"key":"151505_CR38","unstructured":"Shieber, S. M. The Design of a Computer Language for Linguistic Information. Proceedings of the Tenth International Conference on Computational Linguistics, Stanford, CA, 1984. Also in S. M. Shieber, F. C. N. Pereira, L. Karttunen and M. Kay, editors, A Compilation of Papers on Unification-Based Grammar Formalisms, Part I, 4-16, Report no. CSLI-86-48, Center for the Study of Language and Information, CA 1986."},{"volume-title":"A Compilation of Papers on Unification-Based Grammar Formalisms. Parts I and II","year":"1986","key":"151505_CR39","unstructured":"Shieber, S. M., F. C. N. Pereira, L. Karttunen and M. Kay, editors. A Compilation of Papers on Unification-Based Grammar Formalisms. Parts I and II.Report No. CSLI-86-48. Center for the Study of Language and Information, Stanford, CA 1986."},{"key":"151505_CR40","series-title":"CSLI Lecture Notes","volume-title":"An Introduction to Unification-based Approaches to Grammar","author":"S. M. Shieber","year":"1986","unstructured":"Shieber, S. M. An Introduction to Unification-based Approaches to Grammar.CSLI Lecture Notes 4, Center for the Study of Language and Information. Stanford, CA 1986."},{"key":"151505_CR41","first-page":"475","volume-title":"Unification","author":"G. Smolka","year":"1990","unstructured":"Smolka, G. and H. A\u00eft-Kaci. Inheritance Hierarchies: Semantics and Unification. In C. Kirchner, editor, Unification, 475-487, Academic Press, Inc., San Diego, CA 1990."},{"key":"151505_CR42","volume-title":"Principles and Practice of Constraint Programming","author":"G. Smolka","year":"1995","unstructured":"Smolka, G., M. Henz and J. W\u00fcrtz. Object-oriented concurrent constraint programming in Oz. In van P. Hentenryck and V. Saraswat, editors, Principles and Practice of Constraint Programming. MIT Press, Cambridge, 1995."},{"key":"151505_CR43","unstructured":"Wroblewsky, D. Non-destructive Graph Unification. Proceedings of the 6th National Conference on Artificial Intelligence, AAAI, 582-587, Seatle, Washington, 1987."}],"container-title":["Grammars"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009978900499.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009978900499\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009978900499.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T06:08:38Z","timestamp":1754460518000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009978900499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["151505"],"URL":"https:\/\/doi.org\/10.1023\/a:1009978900499","relation":{},"ISSN":["1386-7393","1572-848X"],"issn-type":[{"type":"print","value":"1386-7393"},{"type":"electronic","value":"1572-848X"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}