{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:21:07Z","timestamp":1649204467588},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1993,9,1]],"date-time":"1993-09-01T00:00:00Z","timestamp":746841600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1993,9]]},"DOI":"10.1007\/bf02451550","type":"journal-article","created":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T00:06:09Z","timestamp":1154304369000},"page":"73-105","source":"Crossref","is-referenced-by-count":1,"title":["Attribute and unification grammar: A review and analysis of formalisms"],"prefix":"10.1007","volume":"8","author":[{"given":"Nelson","family":"Correa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02451550_CR1","series-title":"MIT A.I. Memo","volume-title":"Principle-based parsing","author":"R. Berwick","year":"1988","unstructured":"R. Berwick, Principle-based parsing, MIT A.I. Memo 972 (revised), MIT, Cambridge, MA (1988)."},{"key":"BF02451550_CR2","first-page":"173","volume-title":"The Mental Representation of Grammatical Relations","author":"J. Bresnan","year":"1982","unstructured":"J. Bresnan and R. Kaplan, Lexical functional grammar: A formal system of grammatical representation, in:The Mental Representation of Grammatical Relations, ed. J. Bresnan (MIT Press, Cambridge, MA, 1982) pp. 173\u2013281."},{"key":"BF02451550_CR3","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/359997.359999","volume":"19","author":"G. Bochmann","year":"1976","unstructured":"G. Bochmann, Semantic evaluation from left to right, Commun. ACM, 19(1976)55\u201362.","journal-title":"Commun. ACM"},{"key":"BF02451550_CR4","first-page":"301","volume":"17","author":"B. Carpenter","year":"1991","unstructured":"B. Carpenter, The generative power of categorial grammars and head-driven phrase structure grammars with lexical rules. Comp. Linguistics 17(1991)301\u2013313.","journal-title":"Comp. Linguistics"},{"key":"BF02451550_CR5","unstructured":"J. Carroll, B. Boguraev, C. Grover and T. Briscoe, A development environment for large natural language grammars, Report No. TR-127, Computer Laboratory, University of Cambridge (1988)."},{"key":"BF02451550_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01744285","volume":"13","author":"L. Chirica","year":"1979","unstructured":"L. Chirica and D. Martin, An order-algebraic definition of Knuthian semantics, Math. Syst. Theory 13(1979)1\u201327.","journal-title":"Math. Syst. Theory"},{"key":"BF02451550_CR7","volume-title":"Aspects of the Theory of Syntax","author":"N. Chomsky","year":"1965","unstructured":"N. Chomsky,Aspects of the Theory of Syntax (MIT Press, Cambridge, MA, 1965)."},{"key":"BF02451550_CR8","unstructured":"N. Chomsky, Remarks on nominalization, in:Readings in English Transformational Grammar, ed. R. Jacobs and P. Rosenbaum (Waltham, MA, 1970)."},{"key":"BF02451550_CR9","volume-title":"Lectures on Government and Binding","author":"N. Chomsky","year":"1981","unstructured":"N. Chomsky,Lectures on Government and Binding (Foris, Dordrecht, 1981)."},{"key":"BF02451550_CR10","volume-title":"Knowledge of Language","author":"N. Chomsky","year":"1986","unstructured":"N. Chomsky,Knowledge of Language (Praeger, New York, 1986)."},{"key":"BF02451550_CR11","first-page":"139","volume":"8","author":"K.W. Church","year":"1982","unstructured":"K.W. Church and R. Patil, Coping with syntactic ambiguity: Or how to put the block in the box on the table, Amer. J. Comp. Linguistics 8(1982)139\u2013149.","journal-title":"Amer. J. Comp. Linguistics"},{"key":"BF02451550_CR12","doi-asserted-by":"crossref","unstructured":"N. Correa, An attribute grammar implementation of govemment-binding theory,Proc. 25th Annual Meeting of the ACL, Stanford University, Stanford, CA (1987).","DOI":"10.3115\/981175.981182"},{"key":"BF02451550_CR13","series-title":"Ph.D. Dissertation","volume-title":"Syntactic analysis of English with respect to government-binding grammar","author":"N. Correa","year":"1988","unstructured":"N. Correa, Syntactic analysis of English with respect to government-binding grammar, Ph.D. Dissertation, Department of Electrical and Computer Engineering, Syracuse University, Syracuse, NY, (1988)."},{"key":"BF02451550_CR14","doi-asserted-by":"crossref","unstructured":"N. Correa, An extension of Earley's algorithm for S- and L-attributed grammars,Proc. Int. Conf. on Current Issues in Computational Linguistics, Sains Malaysia University, Penang, Malaysia (1991).","DOI":"10.3115\/977180.977232"},{"key":"BF02451550_CR15","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","volume":"2","author":"P. Deransart","year":"1985","unstructured":"P. Deransart and J. Maluszynski, Relating logic programs and attribute grammars, J. Logic. Progr. 2(1985)119\u2013155.","journal-title":"J. Logic. Progr."},{"key":"BF02451550_CR16","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1145\/362007.362035","volume":"13","author":"J. Earley","year":"1970","unstructured":"J. Earley, An efficient context-free parsing algorithm, Commun. ACM 13(1970)94\u2013102.","journal-title":"Commun. ACM"},{"key":"BF02451550_CR17","volume-title":"Generalized Phrase Structure Grammar","author":"G. Gazdar","year":"1985","unstructured":"G. Gazdar, E. Klein, G. Pullum and I. Sag,Generalized Phrase Structure Grammar (Harvard University Press, Cambridge, MA, 1985)."},{"key":"BF02451550_CR18","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"J.A. Goguen, J.W. Thatcher, E. Wagner and J. Wright, Initial algebra semantics and continuous algebras, J. ACM 24(1977)68\u201395.","journal-title":"J. ACM"},{"key":"BF02451550_CR19","volume-title":"Current Trends in Programming Methodology","author":"J.A. Goguen","year":"1978","unstructured":"J.A. Goguen, J.W. Thatcher, E. Wagner and J. Wright, Initial algebra approach to the specification, correctness, and implementation of abstract data types, in:Current Trends in Programming Methodology, Vol. 4, ed. R. Yeh, (Prentice-Hall, Englewood Cliffs, NJ, 1978)."},{"key":"BF02451550_CR20","unstructured":"G. Heidorn, Augmented phrase structure grammars, in:Theoretical Issues in Natural Language Processing, ed. B.L. Webber and R. Schank, ACL (1975)."},{"key":"BF02451550_CR21","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1145\/361227.361231","volume":"18","author":"M. Jazayeri","year":"1975","unstructured":"M. Jazayeri, W. Odgen and W.C. Rounds, The intrinsically exponential complexity of the circularity problem for attribute grammars, Commun. ACM 18(1975)697\u2013706.","journal-title":"Commun. ACM"},{"key":"BF02451550_CR22","unstructured":"M. Johnson, Use of knowledge of language,Proc. 26th Annual Meeting of the ACL, SUNY Buffalo, Buffalo, NY (1988)."},{"key":"BF02451550_CR23","volume-title":"Alternative Conceptions of Phrase Structure","author":"R. Kaplan","year":"1987","unstructured":"R. Kaplan and A. Zaenen, Long-distancs dependencies, constituent structure, and functional uncertainty, in:Alternative Conceptions of Phrase Structure, ed. M. Baltin and A. Kroch (Chicago University Press, Chicago, 1987)."},{"key":"BF02451550_CR24","doi-asserted-by":"crossref","unstructured":"R. Kasper and W.C. Rouds, A logical semantics for feature structures,Proc. 24th Annual Meeting of the ACL, Columbia University, New York (1986) pp. 257\u2013265.","DOI":"10.3115\/981131.981166"},{"key":"BF02451550_CR25","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF00288644","volume":"13","author":"U. Kastens","year":"1980","unstructured":"U. Kastens, Ordered attribute grammars, Acta Inf. 13(1980)229\u2013256.","journal-title":"Acta Inf."},{"key":"BF02451550_CR26","series-title":"LNCS","volume-title":"GAG: A Practical Compiler Generator","author":"U. Kastens","year":"1982","unstructured":"U. Kastens, B. Hutt and E. Zimmermann,GAG: A Practical Compiler Generator, LNCS 141 (Springer, Berlin, 1982)."},{"key":"BF02451550_CR27","doi-asserted-by":"crossref","unstructured":"L. Karttunen, Features and values,Proc. 10th Int. Conf. on Computational Linguistics, Stanford University, Stanford, CA (1984).","DOI":"10.3115\/980431.980499"},{"key":"BF02451550_CR28","volume-title":"Natural Language Parsing","author":"M. Kay","year":"1985","unstructured":"M. Kay, Parsing in functional unification grammar, in:Natural Language Parsing, ed. D. Dowty, L. Kartunen and A. Zwicky (Cambridge University Press, Cambridge, 1985)."},{"key":"BF02451550_CR29","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. Knuth","year":"1968","unstructured":"D. Knuth, Semantics of context-free languages, Math. Syst. Theory 2(1968)127\u2013145.","journal-title":"Math. Syst. Theory"},{"key":"BF02451550_CR30","doi-asserted-by":"crossref","unstructured":"F. Pereira and D.H. Warren, Parsing as deduction,Proc. 21st Annual Meeting of the ACL, Cambridge, MA (1983) pp. 137\u2013144.","DOI":"10.3115\/981311.981338"},{"key":"BF02451550_CR31","doi-asserted-by":"crossref","unstructured":"F. Pereira and S. Shieber, The semantics of grammar formalisms seen as computer languages,Proc. 10th Int. Conf. on Computational Linguistics, Stanford University, Stanford, CA (1984) pp. 123\u2013129.","DOI":"10.3115\/980431.980518"},{"key":"BF02451550_CR32","series-title":"CSLI Lecture Notes","volume-title":"Information-Based Syntax and Semantics, Vol. 1 \u2014 Fundamentals","author":"C. Pollard","year":"1987","unstructured":"C. Pollard and I. Sag,Information-Based Syntax and Semantics, Vol. 1 \u2014 Fundamentals, CSLI Lecture Notes, Vol. 13 (Chicago University Press, Chicago, 1987)."},{"key":"BF02451550_CR33","unstructured":"S. Shieber,An Introduction to Unification Based Approaches to Grammar, CSLI Lecture Notes No. 4, Stanford, CA (1986)."},{"key":"BF02451550_CR34","volume-title":"Unification theory","author":"J. Siekmann","year":"1987","unstructured":"J. Siekmann, Unification theory, FB Informatik, Universit\u00e4t Kaiserslautern, Kaiserslautern, Germany (1987)."},{"key":"BF02451550_CR35","unstructured":"G. Smolka and H. A\u00eft-Kaci, Inheritance hierarchies: semantics and unification, MCC Technical Report No. AI-057-87, Austin, TX (1987)."},{"key":"BF02451550_CR36","series-title":"SEKI Report No. SR-87-14","volume-title":"Order-sorted equational computation","author":"G. Smolka","year":"1987","unstructured":"G. Smolka, W. Nutt, J. Goguen and J. Meseguer, Order-sorted equational computation, SEKI Report No. SR-87-14, FB Informatik, Universit\u00e4t Kaiserslautern, Kaiserslautern, Germany (1987)."},{"key":"BF02451550_CR37","volume-title":"The Logical Approach to Syntax: Foundations Specification, and Implementations of Theories of Government and Binding","author":"E. Stabler","year":"1991","unstructured":"E. Stabler,The Logical Approach to Syntax: Foundations Specification, and Implementations of Theories of Government and Binding (MIT Press, Cambridge, MA, 1991)."},{"key":"BF02451550_CR38","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J. Stoy","year":"1977","unstructured":"J. Stoy,Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (MIT Press, Cambridge, MA, 1977)."},{"key":"BF02451550_CR39","first-page":"31","volume":"13","author":"M. Tomita","year":"1987","unstructured":"M. Tomita, An efficient augmented-context-free parsing algorithm, Comp. Linguistics 13(1987)31\u201346.","journal-title":"Comp. Linguistics"},{"key":"BF02451550_CR40","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5192-7","volume-title":"Compiler Construction","author":"W. Waite","year":"1984","unstructured":"W. Waite and G. Goos,Compiler Construction (Springer, New York, 1984)."},{"key":"BF02451550_CR41","doi-asserted-by":"crossref","unstructured":"E. Williams, Argument structure and morphology, The Linguistic Review, No. 1 (1981).","DOI":"10.1515\/tlir.1981.1.1.81"},{"key":"BF02451550_CR42","volume-title":"Generalized attributed parsing","author":"D. Yellin","year":"1988","unstructured":"D. Yellin, Generalized attributed parsing, Manuscript, IBM Research, Yorktown Heights, New York (1988)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02451550.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02451550\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02451550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T19:23:05Z","timestamp":1558120985000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02451550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,9]]},"references-count":42,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1993,9]]}},"alternative-id":["BF02451550"],"URL":"https:\/\/doi.org\/10.1007\/bf02451550","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,9]]}}}