{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:17:30Z","timestamp":1761607050184,"version":"build-2065373602"},"reference-count":107,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444516909"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1016\/s1570-2464(07)80022-x","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"1031-1076","source":"Crossref","is-referenced-by-count":4,"title":["19 Applications of modal logic in linguistics"],"prefix":"10.1016","member":"78","reference":[{"issue":"2","key":"10.1016\/S1570-2464(07)80022-X_bib1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.3166\/jancl.15.115-135","article-title":"PDL for ordered trees","volume":"15","author":"Loredana","year":"2005","journal-title":"Journal of Applied Non-Classical Logic"},{"issue":"1","key":"10.1016\/S1570-2464(07)80022-X_bib2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF01048403","article-title":"A first-order axiomatization of the theory of finite trees","volume":"4","author":"Rolf","year":"1995","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1570-2464(07)80022-X_bib3","series-title":"Computer science logic (Berne, 1991)","article-title":"The expressive power of transitive closure and 2-way multihead automata","author":"Bargury","year":"1992"},{"year":"1997","series-title":"Handbook of logic and language","key":"10.1016\/S1570-2464(07)80022-X_bib4"},{"key":"10.1016\/S1570-2464(07)80022-X_bib5","series-title":"Aktionsart","article-title":"The project on annotated bibliography of contemporary research in tense, gram- matical aspect","author":"I. Binnick","year":"2005"},{"key":"10.1016\/S1570-2464(07)80022-X_bib6","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/jos\/11.1-2.83","article-title":"Tense, temporal reference and tense logic","volume":"11","author":"Patrick","year":"1994","journal-title":"Journal of Semantics"},{"key":"10.1016\/S1570-2464(07)80022-X_bib7","series-title":"Sixth Conference of the European Chapter of the Association for Computational Linguistics \u2014 Proceedings of the Conference","article-title":"Talking about trees","author":"Blackburn","year":"1993"},{"issue":"1","key":"10.1016\/S1570-2464(07)80022-X_bib8","first-page":"3","article-title":"Linguistics, logic and finite trees","volume":"2","author":"Patrick","year":"1994","journal-title":"Bulletin of the Interest Group in Pure and Applied Logics"},{"key":"10.1016\/S1570-2464(07)80022-X_bib9","series-title":"Computer science logic (Paderborn, 1995)","article-title":"A proof system for finite trees","author":"Blackburn","year":"1996"},{"key":"10.1016\/S1570-2464(07)80022-X_bib10","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1002\/malq.19600060105","article-title":"Weak second-order arithmetic and finite automata","volume":"6","author":"Richard B\u00fcchi","year":"1960","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80022-X_bib11","article-title":"Basic tense logic","volume":"volume 2","author":"P. Burgess","year":"1984"},{"key":"10.1016\/S1570-2464(07)80022-X_bib12","series-title":"Trends in logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3598-8_12","article-title":"Type logics in grammar","author":"Buszkowski","year":"2003"},{"issue":"2\u20133","key":"10.1016\/S1570-2464(07)80022-X_bib13","first-page":"145","article-title":"Comparatives","volume":"21","author":"John","year":"1995","journal-title":"Theoretical Linguistics"},{"year":"1956","series-title":"Meaning and Necessity","author":"Carnap","key":"10.1016\/S1570-2464(07)80022-X_bib14"},{"year":"2000","series-title":"Meaning and Grammar: An Introduction to Seman- tics","author":"Chierchia","key":"10.1016\/S1570-2464(07)80022-X_bib15"},{"key":"10.1016\/S1570-2464(07)80022-X_bib16","first-page":"113","article-title":"Three models for the description of language","volume":"2\u20133","author":"Noam","year":"1956","journal-title":"IRE Transactions of information theory"},{"year":"1957","series-title":"Syntactic Structures","author":"Chomsky","key":"10.1016\/S1570-2464(07)80022-X_bib17"},{"year":"1981","series-title":"Lectures on Government and Binding","author":"Chomsky","key":"10.1016\/S1570-2464(07)80022-X_bib18"},{"issue":"3","key":"10.1016\/S1570-2464(07)80022-X_bib19","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0022-0000(93)90005-H","article-title":"On the expressive power of temporal logic","volume":"46","author":"Jo\u00eblle","year":"1993","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1570-2464(07)80022-X_bib20","series-title":"Algebraic Methods in Language Processing AMiLP 2000, Iowa City, Iowa","article-title":"Parsing and grammar engineering with tree automata","author":"Cornell","year":"2000"},{"year":"1998","series-title":"Temporality in natural language","author":"Crouch","key":"10.1016\/S1570-2464(07)80022-X_bib21"},{"year":"1998","series-title":"Introduction to Natural Language Semantics","author":"de Swart","key":"10.1016\/S1570-2464(07)80022-X_bib22"},{"key":"10.1016\/S1570-2464(07)80022-X_bib23","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1016\/S0022-0000(70)80041-1","article-title":"Tree acceptors and some of their applications","volume":"4","author":"John","year":"1970","journal-title":"Journal of Computer and System Sciences"},{"year":"1989","series-title":"Introduction to Montague Semantics","author":"R. Dowty","key":"10.1016\/S1570-2464(07)80022-X_bib24"},{"year":"1995","series-title":"Finite Model Theory","author":"Ebbinghaus","key":"10.1016\/S1570-2464(07)80022-X_bib25"},{"issue":"1\/2","key":"10.1016\/S1570-2464(07)80022-X_bib26","first-page":"88","article-title":"An until hierarchy and other applications of an Ehrenfeucht-Fra\u00efss\u00e9 game for temporal logic","volume":"160","author":"Kousha","year":"2000","journal-title":"Information and Computation"},{"year":"1979","series-title":"The computational complexity of logical theories","author":"Ferrante","key":"10.1016\/S1570-2464(07)80022-X_bib27"},{"key":"10.1016\/S1570-2464(07)80022-X_bib28","doi-asserted-by":"crossref","DOI":"10.3765\/salt.v7i0.2790","article-title":"Context Dependence in Modal Constructions","author":"Frank","year":"1997"},{"key":"10.1016\/S1570-2464(07)80022-X_bib29","series-title":"Translations from the Philosophical Writings of Gottlob Frege","article-title":"On sense and reference","author":"Frege","year":"1960"},{"key":"10.1016\/S1570-2464(07)80022-X_bib30","series-title":"Aspects of Philosophical Logic","article-title":"Functional completeness in tense logic","author":"Gabbay","year":"1981"},{"key":"10.1016\/S1570-2464(07)80022-X_bib31","series-title":"Proc. 1th Annual ACM Symposium on Principles of Programming Languages","article-title":"On the temporal analysis of fairness","author":"Gabbay","year":"1980"},{"volume":"volume 2","year":"1991","author":"Gamut","key":"10.1016\/S1570-2464(07)80022-X_bib32"},{"year":"1985","series-title":"Generalized Phrase Structure Grammar","author":"Gazdar","key":"10.1016\/S1570-2464(07)80022-X_bib33"},{"key":"10.1016\/S1570-2464(07)80022-X_bib34","series-title":"Handbook of formal languages, Vol. 3","article-title":"Tree languages","author":"G\u00e9cseg","year":"1997"},{"key":"10.1016\/S1570-2464(07)80022-X_bib35","series-title":"Systems and Computer Science (Proc. Conf, London, Ont, 1965)","article-title":"Explicit definitions and linguistic dominoes","author":"Gorn","year":"1967"},{"year":"1998","series-title":"Semantics in Generative Grammar","author":"Heim","key":"10.1016\/S1570-2464(07)80022-X_bib36"},{"issue":"2","key":"10.1016\/S1570-2464(07)80022-X_bib37","first-page":"3","article-title":"Tense, quantifiers, and contexts","volume":"14","author":"W. Hinrichs","year":"1988","journal-title":"Computational Linguistics"},{"year":"1991","series-title":"On the Methodology of Linguistics","author":"Hintikka","key":"10.1016\/S1570-2464(07)80022-X_bib38"},{"year":"1979","series-title":"Introduction to Automata Theory, Languages, and Com- putation","author":"E. Hopcroft","key":"10.1016\/S1570-2464(07)80022-X_bib39"},{"year":"1999","series-title":"Descriptive Complexity","author":"Immerman","key":"10.1016\/S1570-2464(07)80022-X_bib40"},{"key":"10.1016\/S1570-2464(07)80022-X_bib41","series-title":"Handbook of Logic and Language","article-title":"Compositionality","author":"M.V. Janssen","year":"1997"},{"key":"10.1016\/S1570-2464(07)80022-X_bib42","first-page":"227","article-title":"Formal properties of \u201cnow\u201d","volume":"37","author":"Hans","year":"1971","journal-title":"Theoria"},{"year":"1993","series-title":"From Discourse to Logic","author":"Kamp","key":"10.1016\/S1570-2464(07)80022-X_bib43"},{"article-title":"Tense Logic and the Theory of Linear Order","year":"1968","author":"Anthony","key":"10.1016\/S1570-2464(07)80022-X_bib44"},{"year":"2001","series-title":"Automata theory and its applications","author":"Khoussainov","key":"10.1016\/S1570-2464(07)80022-X_bib45"},{"key":"10.1016\/S1570-2464(07)80022-X_bib46","series-title":"Computer Science Logic (Brno, 1998)","article-title":"Mona & fido: The logic-automaton connection in practice","author":"Klarlund","year":"1998"},{"issue":"2","key":"10.1016\/S1570-2464(07)80022-X_bib47","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/S0304-3975(01)00348-6","article-title":"An operational and denota-tional approach to non-context-freeness","volume":"293","author":"Hans-Peter","year":"2003","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80022-X_bib48","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1353\/lan.1990.0015","article-title":"The X-bar theory of phrase structure","volume":"66","author":"Kornai","year":"1990","journal-title":"Language"},{"issue":"1","key":"10.1016\/S1570-2464(07)80022-X_bib49","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01048404","article-title":"Syntactic codes and grammar refinement","volume":"4","author":"Marcus","year":"1995","journal-title":"Journal of Logic, Language and Informa-tion"},{"key":"10.1016\/S1570-2464(07)80022-X_bib50","series-title":"Logical aspects of computational linguistics","article-title":"Inessential features","author":"Kracht","year":"1997"},{"key":"10.1016\/S1570-2464(07)80022-X_bib51","series-title":"Specifying Syntactic Structures","article-title":"On reducing principles to rules","author":"Kracht","year":"1997"},{"year":"1999","series-title":"Tools and techniques in modal logic","author":"Kracht","key":"10.1016\/S1570-2464(07)80022-X_bib52"},{"key":"10.1016\/S1570-2464(07)80022-X_bib53","series-title":"Advances in modal logic, Vol. 2","article-title":"Logic and syntax\u2014a personal perspective","author":"Kracht","year":"2001"},{"year":"2003","series-title":"The Mathematics of Language","author":"Kracht","key":"10.1016\/S1570-2464(07)80022-X_bib54"},{"key":"10.1016\/S1570-2464(07)80022-X_bib55","series-title":"Words, Worlds, and Contexts","first-page":"38","article-title":"The notational category of modality","author":"Kratzer","year":"1981"},{"issue":"3","key":"10.1016\/S1570-2464(07)80022-X_bib56","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1023\/A:1012228321223","article-title":"A descriptive characterisation of indexed grammars","volume":"4","author":"Tore","year":"2001","journal-title":"Grammars"},{"year":"1996","series-title":"The Handbook of Contemporary Semantic Theory","key":"10.1016\/S1570-2464(07)80022-X_bib57"},{"key":"10.1016\/S1570-2464(07)80022-X_bib58","series-title":"Computer science logic (Kazimierz, 1994)","article-title":"Logics for context-free languages","author":"Lautemann","year":"1995"},{"key":"10.1016\/S1570-2464(07)80022-X_bib59","series-title":"Semantics of Natural Language","article-title":"General semantics","author":"Lewis","year":"1972"},{"year":"1973","series-title":"Counterfactuals","author":"Lewis","key":"10.1016\/S1570-2464(07)80022-X_bib60"},{"year":"2004","series-title":"Elements of finite model theory","author":"Libkin","key":"10.1016\/S1570-2464(07)80022-X_bib61"},{"year":"1998","series-title":"Elements of Scientific Inquiry","author":"Martin","key":"10.1016\/S1570-2464(07)80022-X_bib62"},{"key":"10.1016\/S1570-2464(07)80022-X_bib63","series-title":"Proceedings of PODS '04","article-title":"Conditional XPath, the first order complete XPath dialect","author":"Marx","year":"2004"},{"year":"1993","series-title":"Everything that Linguists Have Always Wanted to Know about Logic (But Were Ashamed to Ask)","author":"D. McCawley","key":"10.1016\/S1570-2464(07)80022-X_bib64"},{"year":"1998","series-title":"Departmental web site","author":"D. McCawley","key":"10.1016\/S1570-2464(07)80022-X_bib65"},{"year":"1971","series-title":"Counter-Free Automata","author":"McNaughton","key":"10.1016\/S1570-2464(07)80022-X_bib66"},{"key":"10.1016\/S1570-2464(07)80022-X_bib67","series-title":"Logic Colloquium '90 (Helsinki, 1990)","article-title":"Sense and denotation as algorithm and value","author":"N. Moschovakis","year":"1993"},{"article-title":"Modal Logic of Partitions","year":"2005","author":"Murakami","key":"10.1016\/S1570-2464(07)80022-X_bib68"},{"key":"10.1016\/S1570-2464(07)80022-X_bib69","series-title":"Handbook of Logic and Language","article-title":"Dynamics","author":"Muskens","year":"1997"},{"key":"10.1016\/S1570-2464(07)80022-X_bib70","series-title":"Proceedings of Mathematics of Language (MOL 6)","article-title":"Propositional tense logic for finite trees","author":"Palm","year":"1999"},{"key":"10.1016\/S1570-2464(07)80022-X_bib71","series-title":"Proceedings of Formal Grammar and Mathematics of Language (FGMOL)","article-title":"Model theoretic syntax and parsing: An application to temporal logic","author":"Palm","year":"2001"},{"year":"1990","series-title":"Mathematical Methods in Linguistics","author":"Partee","key":"10.1016\/S1570-2464(07)80022-X_bib72"},{"issue":"18","key":"10.1016\/S1570-2464(07)80022-X_bib73","doi-asserted-by":"crossref","first-page":"601","DOI":"10.2307\/2025024","article-title":"Some structural analogies between tenses and pronouns","volume":"70","author":"H. Partee","year":"1973","journal-title":"The Journal of Philos-ophy"},{"key":"10.1016\/S1570-2464(07)80022-X_bib74","doi-asserted-by":"crossref","DOI":"10.1515\/9783110866858.93","article-title":"Possible worlds in model-theoretic semantics: A linguistic perspective","author":"H. Partee","year":"1988"},{"key":"10.1016\/S1570-2464(07)80022-X_bib75","series-title":"Handbook of Logic and Language","article-title":"Montague grammar","author":"H. Partee","year":"1997"},{"article-title":"Possible worlds and subject matter","year":"1989","author":"Perry","key":"10.1016\/S1570-2464(07)80022-X_bib76"},{"key":"10.1016\/S1570-2464(07)80022-X_bib77","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF02127803","article-title":"Logic, semigroups and automata on words","volume":"16","author":"Jean-Eric","year":"1996","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1570-2464(07)80022-X_bib78","series-title":"Signs, Search, and Communication","article-title":"Believing, causing, intending","author":"Posner","year":"1992"},{"article-title":"Logische Klassifizierung regul\u00e4rer Baumsprachen","year":"1994","author":"Potthoff","key":"10.1016\/S1570-2464(07)80022-X_bib79"},{"issue":"1","key":"10.1016\/S1570-2464(07)80022-X_bib80","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0304-3975(94)90270-4","article-title":"Modulo-counting quantifiers over finite trees","volume":"126","author":"Andreas","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80022-X_bib81","series-title":"Fundamentals of computation theory (Szeged, 1993)","article-title":"Regular tree languages without unary symbols are star-free","author":"Potthoff","year":"1993"},{"year":"1947","series-title":"Elements of Symbolic Logic","author":"Reichenbach","key":"10.1016\/S1570-2464(07)80022-X_bib82"},{"key":"10.1016\/S1570-2464(07)80022-X_bib83","series-title":"Studies in Logic, Language and Information","article-title":"A descriptive approach to language-theoretic complexity","author":"Rogers","year":"1998"},{"issue":"3\u20134","key":"10.1016\/S1570-2464(07)80022-X_bib84","first-page":"265","article-title":"Syntactic structures as multi-dimensional trees","volume":"l","author":"James","year":"2003","journal-title":"Research on Language and Compu-tation"},{"issue":"4","key":"10.1016\/S1570-2464(07)80022-X_bib85","first-page":"1","article-title":"LFP: A logic for linguistics descriptions and an analysis of its complexity","volume":"14","author":"C. Rounds","year":"1988","journal-title":"Computational Linguistics"},{"key":"10.1016\/S1570-2464(07)80022-X_bib86","series-title":"CONCUR'98: concurrency theory","article-title":"Automata and coinduction (an exercise in coalgebra)","author":"Rutten","year":"1998"},{"key":"10.1016\/S1570-2464(07)80022-X_bib87","series-title":"Logical Foundations of Computer Science \u2014 Tver '92","article-title":"On the expressive power of modal logics on trees","author":"Schlingloff","year":"1992"},{"key":"10.1016\/S1570-2464(07)80022-X_bib88","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF00630810","article-title":"Direct parsing of ID\/LP grammars","volume":"7","author":"Stuart","year":"1984","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1570-2464(07)80022-X_bib89","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF00630917","article-title":"Evidence against the context-freeness of natural language","volume":"8","author":"Stuart","year":"1985","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1570-2464(07)80022-X_bib90","series-title":"Ifs.","article-title":"A theory of conditionals","author":"C. Stalnaker","year":"1981"},{"year":"2002","series-title":"The Productions of Time: Temporality and Causality in Linguistic Semantics","author":"Steedman","key":"10.1016\/S1570-2464(07)80022-X_bib91"},{"year":"1994","series-title":"Finite automata, formal logic, and circuit complexity","author":"Straubing","key":"10.1016\/S1570-2464(07)80022-X_bib92"},{"issue":"2","key":"10.1016\/S1570-2464(07)80022-X_bib93","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1006\/inco.1995.1067","article-title":"Regular languages defined with generalized quantifiers","volume":"118","author":"Howard","year":"1995","journal-title":"Information and Computation"},{"year":"1997","series-title":"Representing Time in Natural Language: The Dynamic Interpretation of Tense and Aspect","key":"10.1016\/S1570-2464(07)80022-X_bib94"},{"key":"10.1016\/S1570-2464(07)80022-X_bib95","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0022-0000(67)80022-9","article-title":"Characterizing derivation trees of context-free grammars through a generalization of finite automata theory","volume":"1","author":"W. Thatcher","year":"1967","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1570-2464(07)80022-X_bib96","series-title":"Currents in the theory of computing","article-title":"Tree automata: an informal survey","author":"W. Thatcher","year":"1973"},{"key":"10.1016\/S1570-2464(07)80022-X_bib97","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01691346","article-title":"Generalized finite automata theory with an application to a decision problem of second-order logic","volume":"2","author":"W. Thatcher","year":"1968","journal-title":"Mathematical Systems Theory"},{"key":"10.1016\/S1570-2464(07)80022-X_bib98","series-title":"Handbook of formal languages, Vol. 3","article-title":"Languages, automata, and logic","author":"Thomas","year":"1997"},{"year":"1974","series-title":"Formal Philosophy: Selected Papers of Richard Montague","key":"10.1016\/S1570-2464(07)80022-X_bib99"},{"key":"10.1016\/S1570-2464(07)80022-X_bib100","article-title":"Combinations of tense and modality","volume":"volume 7","author":"H. Thomason","year":"2002"},{"key":"10.1016\/S1570-2464(07)80022-X_bib101","series-title":"Foundations of the formal sciences II","article-title":"Proof theory and formal grammars: applications of normalization","author":"Tiede","year":"2003"},{"key":"10.1016\/S1570-2464(07)80022-X_bib102","series-title":"Proceedings of Formal Grammar and Mathematics of Language (FGMOL)","article-title":"Inessential features, ineliminable features, and modal logics for model theoretic sytax","author":"Tiede","year":"2005"},{"year":"1983","series-title":"The Logic of Time","author":"van Benthem","key":"10.1016\/S1570-2464(07)80022-X_bib103"},{"key":"10.1016\/S1570-2464(07)80022-X_bib104","article-title":"Temporal logic","volume":"volume 4","author":"van Benthem","year":"1995"},{"year":"2005","series-title":"The Proper Treatment of Events","author":"van Lambalgen","key":"10.1016\/S1570-2464(07)80022-X_bib105"},{"issue":"3","key":"10.1016\/S1570-2464(07)80022-X_bib106","first-page":"257","article-title":"Indicative conditionals","volume":"1","author":"Franz","year":"1974","journal-title":"Theoretical Linguistics"},{"key":"10.1016\/S1570-2464(07)80022-X_bib107","series-title":"Proceedings of SALT XII","article-title":"Is a possible-worlds semantics of modality possible? A problem for Kratzer's semantics","author":"Zvolensky","year":"2002"}],"container-title":["Studies in Logic and Practical Reasoning","Handbook of Modal Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157024640780022X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157024640780022X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:14:45Z","timestamp":1761606885000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157024640780022X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":107,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80022-x","relation":{},"ISSN":["1570-2464"],"issn-type":[{"type":"print","value":"1570-2464"}],"subject":[],"published":{"date-parts":[[2007]]}}}