{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:28:12Z","timestamp":1725492492594},"publisher-location":"Berlin, Heidelberg","reference-count":65,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540669937"},{"type":"electronic","value":"9783540465836"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46583-9_4","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T12:40:24Z","timestamp":1191933624000},"page":"72-98","source":"Crossref","is-referenced-by-count":1,"title":["Generalized Quantifiers in Logic Programs"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[]},{"given":"Georg","family":"Gottlob","sequence":"additional","affiliation":[]},{"given":"Helmut","family":"Veith","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,10]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"A. Aho and J. Ullman. Universality of Data Retrieval Languages. In Proceedings ACM Symposium on Principles of Programming Languages, pages 110\u2013117, 1979.","DOI":"10.1145\/567752.567763"},{"issue":"\/20","key":"4_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"K. Apt","year":"1994","unstructured":"K. Apt and N. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19\/20:9\u201371, 1994.","journal-title":"Journal of Logic Programming"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"A. Badia, M. Gyssens, and D. V. Gucht. Query languages with generalized quantifiers. In R. Ramakrishnan, editor, Applications of Logic Databases, pages 235\u2013258. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-1-4615-2207-2_11"},{"issue":"\/20","key":"4_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"C. Baral and M. Gelfond. Logic Programming and Knowledge Representation. Journal of Logic Programming, 19\/20:73\u2013148, 1994.","journal-title":"Journal of Logic Programming"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF02756560","volume":"25","author":"J. Barwise","year":"1976","unstructured":"J. Barwise. Some Applications of Henkin Quantifiers. Israel Journal of Mathematics, 25:47\u201363, 1976.","journal-title":"Israel Journal of Mathematics"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J. Barwise","year":"1981","unstructured":"J. Barwise and R. Cooper. Generalized Quantifiers and Natural Language. Linguistic and Philosophy, 4:159\u2013219, 1981.","journal-title":"Linguistic and Philosophy"},{"key":"4_CR7","unstructured":"J. Barwise and S. Feferman. Model-Theoretic Logics. Springer, 1985."},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(51)90003-5","volume":"78","author":"N. Bidoit","year":"1991","unstructured":"N. Bidoit. Negation in rule-based database systems: a survey. Theoretical Computer Science, 78:3\u201383, 1991.","journal-title":"Theoretical Computer Science"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(86)90040-0","volume":"32","author":"A. Blass","year":"1986","unstructured":"A. Blass and Y. Gurevich. Henkin Quantifiers and Complete Problems. Annals of Pure and Applied Logic, 32:1\u201316, 1986.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"\/20","key":"4_CR10","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19","author":"M. Bugliesi","year":"1994","unstructured":"M. Bugliesi, E. Lamma, and P. Mello. Modularity in Logic Programming. Journal of Logic Programming, 19\/20:443\u2013502, 1994.","journal-title":"Journal of Logic Programming"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and Expressive Power of Logic Programming. In Proceedings of the Twelth IEEE International Conference on Computational Complexity (CCC\u2019 97), pages 82\u2013101, 1997.","DOI":"10.1109\/CCC.1997.612304"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1002\/malq.19980440108","volume":"15","author":"A. Dawar","year":"1998","unstructured":"A. Dawar, G. Gottlob, and L. Hella. Capturing Relativized Complexity Classes without Order. Mathematical Logic Quarterly, 15:109\u2013122, 1998.","journal-title":"Mathematical Logic Quarterly"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Perspectives in Mathematical Logic. Springer, 1995.","DOI":"10.1007\/978-3-662-03182-7"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0743-1066(97)00027-7","volume":"33","author":"T. Eiter","year":"1997","unstructured":"T. Eiter and G. Gottlob. Expressiveness of Stable Model Semantics for Disjunctive Logic Programs with Functions. Journal of Logic Programming, 33(2):167\u2013178, 1997.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"T. Eiter, G. Gottlob, and H. Mannila. Disjunctive Datalog. ACM Transactions on Database Systems, 22(3):364\u2013417, September 1997.","journal-title":"ACM Transactions on Database Systems"},{"key":"4_CR16","series-title":"Lect Notes Comput Sci","first-page":"290","volume-title":"Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-97)","author":"T. Eiter","year":"1997","unstructured":"T. Eiter, G. Gottlob, and H. Veith. Modular Logic Programming and Generalized Quantifiers. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-97), number 1265 in LNCS, pages 290\u2013309. Springer, 1997."},{"key":"4_CR17","volume-title":"Technical Report CD-TR 97\/111","author":"T. Eiter","year":"1997","unstructured":"T. Eiter, G. Gottlob, and H. Veith. Modular Logic Programming and Generalized Quantifiers. Technical Report CD-TR 97\/111, Christian Doppler Laboratory for Expert Systems, TU Vienna, January 1997. Preliminary Report."},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1002\/malq.19700160802","volume":"16","author":"H. Enderton","year":"1970","unstructured":"H. Enderton. Finite Partially-Ordered Quantifiers. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 16:393\u2013397, 1970.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0743-1066(87)90019-7","volume":"4","author":"M. Fitting","year":"1987","unstructured":"M. Fitting. Enumeration Operators and Modular Logic Programming. Journal of Logic Programming, 4:11\u201321, 1987.","journal-title":"Journal of Logic Programming"},{"key":"4_CR20","volume-title":"Computers and Intractability \u2014 A Guide to the Theory of NP-Completeness","author":"M. Garey","year":"1979","unstructured":"M. Garey and D. S. Johnson. Computers and Intractability \u2014 A Guide to the Theory of NP-Completeness. W. H. Freeman, New York, 1979."},{"key":"4_CR21","unstructured":"M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Logic Programming: Proceedings Fifth Intl Conference and Symposium, pages 1070\u20131080, Cambridge, Mass., 1988. MIT Press."},{"issue":"2","key":"4_CR22","doi-asserted-by":"publisher","first-page":"545","DOI":"10.2307\/2275546","volume":"62","author":"G. Gottlob","year":"1997","unstructured":"G. Gottlob. Relativized Logspace and Generalized Quantifiers over Ordered Finite Structures. Journal of Symbolic Logic, 62(2):545\u2013574, 1997.","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-60246-1_113","volume-title":"Proceedings of the 20th Conference on Mathematical Foundations of Computer Science (MFCS\u2019 95)","author":"G. Gottlob","year":"1995","unstructured":"G. Gottlob, N. Leone, and H. Veith. Second-Order Logic and the Weak Exponential Hierarchies. In J. Wiedermann and P. Hajek, editors, Proceedings of the 20th Conference on Mathematical Foundations of Computer Science (MFCS\u2019 95), number 969 in Lecture Notes in Computer Science, pages 66\u201381, Prague, 1995."},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0168-0072(98)00057-8","volume":"97","author":"G. Gottlob","year":"1999","unstructured":"G. Gottlob, N. Leone, and H. Veith. Succinctness as a Source of Complexity in Logical Formalisms. Annals of Pure and Applied Logic, 97:231\u2013260, 1999.","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(92)90149-A","volume":"101","author":"E. Gr\u00e4del","year":"1992","unstructured":"E. Gr\u00e4del. Capturing Complexity Classes with Fragments of Second Order Logic. Theoretical Computer Science, 101:35\u201357, 1992.","journal-title":"Theoretical Computer Science"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"P. H\u00e1jek. Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"4_CR27","first-page":"167","volume-title":"In nitistic Methods, Proc. Symp. on Foundations of Mathematics","author":"L. Henkin","year":"1961","unstructured":"L. Henkin. Some Remarks on Infinitely Long Formulas. In In nitistic Methods, Proc. Symp. on Foundations of Mathematics, pages 167\u2013183. Warsaw, Panstwowe Wydawnictwo Naukowe and Pergamon Press, 1961."},{"key":"4_CR28","first-page":"153","volume":"5","author":"J. Hintikka","year":"1974","unstructured":"J. Hintikka. Quantifiers vs. Quantification Theory. Linguistic Inquiry, 5:153\u2013177, 1974.","journal-title":"Linguistic Inquiry"},{"key":"4_CR29","volume-title":"Philosophy of Logic","author":"J. Hintikka","year":"1976","unstructured":"J. Hintikka. Quantifiers in Logic and Quantifiers in Natural Languages. In S. K\u00f6rner, editor, Philosophy of Logic, chapter V. Univ. of California Press, Berkeley et al, 1976."},{"key":"4_CR30","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1137\/0216051","volume":"16","author":"N. Immerman","year":"1987","unstructured":"N. Immerman. Languages that Capture Complexity Classes. SIAM Journal of Computing, 16:760\u2013778, 1987.","journal-title":"SIAM Journal of Computing"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"N. Immerman. Descriptive Complexity. Springer, 1997.","DOI":"10.1090\/dimacs\/031"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"D. S. Johnson. A Catalog of Complexity Classes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume A, chapter 2. Elsevier Science Publishers B.V. (North-Holland), 1990.","DOI":"10.1016\/B978-0-444-88071-0.50007-2"},{"key":"4_CR33","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0168-0072(89)90071-7","volume":"43","author":"M. Krynicky","year":"1989","unstructured":"M. Krynicky and J. V\u00e4\u00e4n\u00e4nen. Henkin and Function Quantifiers. Annals of Pure and Applied Logic, 43:273\u2013292, 1989.","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR34","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1111\/j.1755-2567.1966.tb00600.x","volume":"32","author":"P. Lindstr\u00f6m","year":"1966","unstructured":"P. Lindstr\u00f6m. First Order Predicate Logic with Generalized Quantifiers. Theoria, 32:186\u2013195, 1966.","journal-title":"Theoria"},{"key":"4_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1984","unstructured":"J. Lloyd. Foundations of Logic Programming. Springer, Berlin, 1984, 1987."},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"J. Makowsky. Model Theory and Computer Science: An Appetizer. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume I, chapter 6. Oxford University Press, 1992.","DOI":"10.1093\/oso\/9780198537359.003.0006"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"J. Makowsky. Capturing Relativized Complexity Classes with Lindstr\u00f6m Quantifiers. In W. D. Pauli-Schimanovich, editor, The Foundational Debate, pages 133\u2013140. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-94-017-3327-4_10"},{"key":"4_CR38","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BFb0049333","volume-title":"Computer Science Logic 1993 (CSL\u201993)","author":"J. Makowsky","year":"1994","unstructured":"J. Makowsky and Y. Pnueli. Oracles and Quantifiers. In Computer Science Logic 1993 (CSL\u201993), number 832 in LNCS, pages 189\u2013222. Springer, 1994."},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"J. Makowsky and Y. Pnueli. Computable Quantifiers and Logics over Finite Structures. In M. Krynicki, M. Mostowski, and L. Szczerba, editors, Quantifiers: Logics, Models and Computation, Volume I, pages 313\u2013357. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-94-017-0522-6_10"},{"key":"4_CR40","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/3-540-60178-3_98","volume-title":"Proceedings LCC\u201994, Logic and Computational Complexity","author":"J. Makowsky","year":"1995","unstructured":"J. Makowsky and Y. Pnueli. Logics Capturing Relativized Complexity Classes Uniformly. In D. Leivant, editor, Proceedings LCC\u201994, Logic and Computational Complexity, number 960 in LNCS, pages 463\u2013479. Springer, 1995."},{"key":"4_CR41","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0168-0072(95)00013-5","volume":"78","author":"J. Makowsky","year":"1996","unstructured":"J. Makowsky and Y. Pnueli. Arity and Alternation in Second-Order Logic. Annals of Pure and Applied Logic, 78:189\u2013202, 1996.","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR42","unstructured":"D. Miller. A Theory of Modules in Logic Programming. In Proceedings of the International Logic Programming Symposium (ILPS\u2019 86), pages 106\u2013114. MIT Press, 1986."},{"key":"4_CR43","volume-title":"Formal Philosophy: Selected Papers","author":"R. Montague","year":"1974","unstructured":"R. Montague. In R. Thomasson, editor, Formal Philosophy: Selected Papers. Yale University Press, New Haven, Conn, 1974."},{"key":"4_CR44","doi-asserted-by":"crossref","first-page":"12","DOI":"10.4064\/fm-44-1-12-36","volume":"44","author":"A. Mostowski","year":"1957","unstructured":"A. Mostowski. On a Generalization of Quantifiers. Fundamenta Mathematicae, 44:12\u201336, 1957.","journal-title":"Fundamenta Mathematicae"},{"key":"4_CR45","unstructured":"R. O\u2019Keefe. Towards an Algebra for Constructing Logic Programs. In Proceedings of the IEEE Symposium on Logic Programming, pages 152\u2013160. IEEE CS Press, 1985."},{"key":"4_CR46","unstructured":"C. H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994."},{"key":"4_CR47","unstructured":"S. Rao, A. Badia, and D. Van Gucht. Processing Queries Containing Generalized Quantifiers. Technical Report TR 428, Computer Science Department, Indiana University, 1996."},{"key":"4_CR48","volume-title":"The Principles of Mathematics","author":"B. Russell","year":"1903","unstructured":"B. Russell. The Principles of Mathematics. George Allen and Unwin, London, 1903."},{"key":"4_CR49","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58907-4_27","volume-title":"Proceedings 5th Intl. Conference on Database Theory (ICDT-95)","author":"D. Sacc\u00e1","year":"1995","unstructured":"D. Sacc\u00e1. Deterministic and Nondeterministic Stable Model Semantics for Unbound DATALOG Queries. In Proceedings 5th Intl. Conference on Database Theory (ICDT-95), LNCS 893, pages 353\u2013367, January 1995."},{"key":"4_CR50","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1002\/malq.19920380134","volume":"38","author":"G. Sandu","year":"1992","unstructured":"G. Sandu and J. V\u00e4\u00e4n\u00e4nen. Partially Ordered Connectives. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 38:361\u2013372, 1992.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"1","key":"4_CR51","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1006\/jcss.1995.1053","volume":"51","author":"J. Schlipf","year":"1995","unstructured":"J. Schlipf. The Expressive Powers of Logic Programming Semantics. Journal of Computer and System Sciences, 51(1):64\u201386, 1995. Abstract in Proc. PODS 90, pp. 196\u2013204.","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR52","volume-title":"The Z Notation: A Reference Manual","author":"J. Spivey","year":"1992","unstructured":"J. Spivey. The Z Notation: A Reference Manual. Addison Wesley, Harlow, 1992."},{"key":"4_CR53","doi-asserted-by":"crossref","first-page":"65","DOI":"10.3233\/FI-1993-18105","volume":"18","author":"I. Stewart","year":"1993","unstructured":"I. Stewart. Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines. Fundamenta Informaticae, 18:65\u201392, 1993.","journal-title":"Fundamenta Informaticae"},{"key":"4_CR54","doi-asserted-by":"crossref","first-page":"93","DOI":"10.3233\/FI-1993-18106","volume":"18","author":"I. Stewart","year":"1993","unstructured":"I. Stewart. Logical Characterizations of Bounded Query Classes II: Polynomial-Time Oracle Machines. Fundamenta Informaticae, 18:93\u2013105, 1993.","journal-title":"Fundamenta Informaticae"},{"key":"4_CR55","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/BFb0049340","volume-title":"Proc. Computer Science Logic","author":"I. Stewart","year":"1994","unstructured":"I. Stewart. Incorporating generalized quantifiers and the least fixed point operator. In Proc. Computer Science Logic, number 832 in LNCS, pages 318\u2013333, 1994."},{"key":"4_CR56","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0304-3975(94)00175-I","volume":"145","author":"I. Stewart","year":"1995","unstructured":"I. Stewart. Complete problems for monotone NP. Theoretical Computer Science, 145:147\u2013157, 1995.","journal-title":"Theoretical Computer Science"},{"key":"4_CR57","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1093\/logcom\/4.4.337","volume":"4","author":"I. Stewart","year":"1995","unstructured":"I. Stewart. Logical Descriptions of monotone NP problems. Journal of Logic and Computation, 4:337\u2013357, 1995.","journal-title":"Journal of Logic and Computation"},{"key":"4_CR58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"L.J. Stockmeyer","year":"1977","unstructured":"L. J. Stockmeyer. The Polynomial-Time Hierarchy. Theoretical Computer Science, 3:1\u201322, 1977.","journal-title":"Theoretical Computer Science"},{"key":"4_CR59","unstructured":"J. V\u00e4\u00e4n\u00e4nen. Generalized Quantifiers, an Introduction. This volume."},{"key":"4_CR60","doi-asserted-by":"crossref","unstructured":"M. Vardi. Complexity of Relational Query Languages. In Proceedings 14th STOC, pages 137\u2013146, San Francisco, 1982.","DOI":"10.1145\/800070.802186"},{"issue":"2","key":"4_CR61","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1006\/inco.1997.2696","volume":"142","author":"H. Veith","year":"1998","unstructured":"H. Veith. Succinct Representation, Leaf Languages, and Projection Reductions. Information and Computation, 142(2):207\u2013236, 1998.","journal-title":"Information and Computation"},{"key":"4_CR62","unstructured":"H. Vollmer. A General Quantifier Concept in Computational Complexity Theory. This volume."},{"issue":"5","key":"4_CR63","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1137\/0219058","volume":"19","author":"K. Wagner","year":"1990","unstructured":"K. Wagner. Bounded Query Classes. SIAM Journal of Computing, 19(5):833\u2013846, 1990.","journal-title":"SIAM Journal of Computing"},{"key":"4_CR64","doi-asserted-by":"publisher","first-page":"535","DOI":"10.2307\/2271440","volume":"35","author":"W. Walkoe","year":"1970","unstructured":"W. Walkoe. Finite Partially-Ordered Quantification. Journal of Symbolic Logic, 35:535\u2013555, 1970.","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR65","unstructured":"J. Wordsworth. Software Engineering with B. Addison Wesley, 1996."}],"container-title":["Lecture Notes in Computer Science","Generalized Quantifiers and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46583-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T11:37:34Z","timestamp":1708256254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46583-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540669937","9783540465836"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/3-540-46583-9_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}