{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T23:10:11Z","timestamp":1739315411553,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":68,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642037535"},{"type":"electronic","value":"9783642037542"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03754-2_3","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T15:58:58Z","timestamp":1251734338000},"page":"111-157","source":"Crossref","is-referenced-by-count":1,"title":["Logical Foundations of XML and XQuery"],"prefix":"10.1007","author":[{"given":"Maarten","family":"Marx","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Data on the web","author":"S. Abiteboul","year":"2000","unstructured":"Abiteboul, S., Buneman, P., Suciu, D.: Data on the web. Morgan Kaufman, San Francisco (2000)"},{"key":"3_CR2","volume-title":"Proceedings of VLDB","author":"L. Afanasiev","year":"2006","unstructured":"Afanasiev, L., Franceschet, M., Marx, M., Zimuel, E.: XCheck: a Platform for Benchmarking XQuery Engines. In: Proceedings of VLDB, Demo, Seoul, Korea. ACM Press, New York (2006)"},{"key":"3_CR3","unstructured":"Afanasiev, L., Marx, M.: Operationalization of policy framing questions on parliamentary data with XQuery (2009), http:\/\/ilps.science.uva.nl\/PoliticalMashup\/framing-questions-on-polidocs-data\/"},{"key":"3_CR4","first-page":"38","volume":"11","author":"L. Afanasiev","year":"2007","unstructured":"Afanasiev, L., ten Cate, B., Marx, M.: Lekker bomen. Nieuwsbrief van de NVTI\u00a011, 38\u201352 (2007)","journal-title":"Nieuwsbrief van de NVTI"},{"key":"3_CR5","unstructured":"Axyana software. Qizx\/open. An open-source Java implementation of XQuery (2006), http:\/\/www.axyana.com\/qizxopen"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Balog, K.: People Search in the Enterprise. PhD thesis, University of Amsterdam (June 2008)","DOI":"10.1145\/1480506.1480526"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-36285-1_6","volume-title":"Database Theory - ICDT 2003","author":"M. Benedikt","year":"2002","unstructured":"Benedikt, M., Fan, W., Kuper, G.M.: Structural properties of XPath fragments. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 79\u201395. Springer, Heidelberg (2002)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1145\/1367497.1367609","volume-title":"WWW 2008: Proceeding of the 17th international conference on World Wide Web","author":"G.J. Bex","year":"2008","unstructured":"Bex, G.J., Gelade, W., Neven, F., Vansummeren, S.: Learning deterministic regular expressions for the inference of schemas from xml data. In: WWW 2008: Proceeding of the 17th international conference on World Wide Web, pp. 825\u2013834. ACM, New York (2008)"},{"key":"3_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Boja\u0144czyk, M., David, C., Muscholl, A., Schwentick, T., Segoufin, L.: Two-variable logic on data trees and XML reasoning. In: PODS, pp. 10\u201319 (2006)","DOI":"10.1145\/1142351.1142354"},{"key":"3_CR11","first-page":"270","volume-title":"Proceedings of DLT 1999: Foundations, Applications and Perspectives","author":"A. Br\u00fcggemann-Klein","year":"2000","unstructured":"Br\u00fcggemann-Klein, A., Wood, D.: Caterpillars, context, tree automata and tree pattern matching. In: Rozenberg, G., Thomas, W. (eds.) Proceedings of DLT 1999: Foundations, Applications and Perspectives, pp. 270\u2013285. World Scientific Publishing, Singapore (2000)"},{"issue":"1","key":"3_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","volume":"25","author":"A. Chandra","year":"1982","unstructured":"Chandra, A., Harel, D.: Structure and complexity of relational queries. J. Comput. Syst. Sci.\u00a025(1), 99\u2013128 (1982)","journal-title":"J. Comput. Syst. Sci."},{"key":"3_CR13","unstructured":"Clark, J., DeRose, S.: XML Path Language (XPath), http:\/\/www.w3.org\/TR\/xpath"},{"key":"3_CR14","first-page":"1367","volume-title":"Handbook of Automated Reasoning","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Schlingloff, B.-H.: Model checking. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1367\u20131522. Elsevier Science Publishers, Amsterdam (2000)"},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01383878","volume":"2","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Steffen, B.: A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Form. Methods Syst. Des.\u00a02(2), 121\u2013147 (1993)","journal-title":"Form. Methods Syst. Des."},{"key":"3_CR16","first-page":"33","volume-title":"Database Systems","author":"E. Codd","year":"1972","unstructured":"Codd, E.: Relational completeness of data base sublanguages. In: Rustin, R. (ed.) Database Systems, pp. 33\u201364. Prentice-Hall, Englewood Cliffs (1972)"},{"key":"3_CR17","volume-title":"Finite Model Theory","author":"H.-D. Ebbinghaus","year":"1995","unstructured":"Ebbinghaus, H.-D., Flum, J.: Finite Model Theory. Springer, Heidelberg (1995)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11672142_39","volume-title":"STACS 2006","author":"J. Engelfriet","year":"2006","unstructured":"Engelfriet, J., Hoogeboom, H.J.: Nested pebbles and transitive closure. In: Durand, B., Thomas, W. (eds.) STACS 2006. LNCS, vol.\u00a03884, pp. 477\u2013488. Springer, Heidelberg (2006)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Etessami, K., Vardi, M.: First-order logic with two variables and unary temporal logic. In: Proc. LICS 1997, pp. 228\u2013235 (1997)","DOI":"10.1109\/LICS.1997.614950"},{"key":"3_CR20","unstructured":"Fan, W., Geerts, F., Jia, X., Kementsietsidis, A.: SMOQE: a system for providing secure access to XML. In: Proceedings VLDB 2006, pp. 1227\u20131230 (2006)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Fan, W., Geerts, F., Jia, X., Kementsietsidis, A.: Rewriting regular XPath queries on XML views. In: Proceedings ICDE 2007 (2007)","DOI":"10.1109\/ICDE.2007.367912"},{"key":"3_CR22","unstructured":"Fern\u00e1ndez, M., Sim\u00e9on, J., Chen, C., Choi, B., Gapeyev, V., Marian, A., Michiels, P., Onose, N., Petkanics, D., R\u00e9, C., Stark, M., Sur, G., Vyas, A., Wadler, P.: Galax. The XQuery implementation (2006), http:\/\/www.galaxquery.org"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Filiot, E., Niehren, J., Talbot, J.-M., Tison, S.: Polynomial time fragments of xpath with variables. In: Proceedings of PODS 2007 (2007)","DOI":"10.1145\/1265530.1265559"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences\u00a018, 194\u2013211 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Gielissen, T., Marx, M.: Exemelification of parliamentary debates. In: Proceedings of the 9th Dutch-Belgian Information Retrieval Workshop (DIR 2009), Twente, The Netherlands, pp. 19\u201325 (2009)","DOI":"10.1145\/1568296.1568303"},{"key":"3_CR26","volume-title":"Proceedings LICS 2005","author":"E. Goris","year":"2005","unstructured":"Goris, E., Marx, M.: Looping caterpillars. In: Proceedings LICS 2005. IEEE Computer Society, Los Alamitos (2005)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Koch, C., Pichler, R.: Efficient algorithms for processing XPath queries. In: VLDB 2002 (2002)","DOI":"10.1016\/B978-155860869-6\/50017-2"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Koch, C., Schulz, K.: Conjunctive queries over trees. In: Proceedings PODS 2004, pp. 189\u2013200 (2004)","DOI":"10.1145\/1055558.1055585"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Grohe, M., Schweikardt, N.: The succinctness of first-order logic on linear orders\u00a01(1) (2005)","DOI":"10.2168\/LMCS-1(1:6)2005"},{"issue":"6","key":"3_CR30","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1177\/0095399704270586","volume":"36","author":"M. Hajer","year":"2005","unstructured":"Hajer, M.: Setting the stage, a dramaturgy of policy deliberation. Administration & Society\u00a036(6), 624\u2013647 (2005)","journal-title":"Administration & Society"},{"key":"3_CR31","first-page":"9","volume-title":"VLDB","author":"A.Y. Halevy","year":"2006","unstructured":"Halevy, A.Y., Rajaraman, A., Ordille, J.J.: Data integration: The teenage years. In: Dayal, U., Whang, K.-Y., Lomet, D.B., Alonso, G., Lohman, G.M., Kersten, M.L., Cha, S.K., Kim, Y.-K. (eds.) VLDB, pp. 9\u201316. ACM, New York (2006)"},{"issue":"2","key":"3_CR32","doi-asserted-by":"publisher","first-page":"213","DOI":"10.2307\/2687775","volume":"7","author":"J.Y. Halpern","year":"2001","unstructured":"Halpern, J.Y., Harper, R., Immerman, N., Kolaitis, P.G., Vardi, M.Y., Vianu, V.: On the unusual effectiveness of logic in computer science. The Bulletin of Symbolic Logic\u00a07(2), 213\u2013236 (2001)","journal-title":"The Bulletin of Symbolic Logic"},{"key":"3_CR33","doi-asserted-by":"publisher","DOI":"10.7208\/chicago\/9780226316284.001.0001","volume-title":"Political style. The artistry of power","author":"R. Hariman","year":"1995","unstructured":"Hariman, R.: Political style. The artistry of power. University of Chicago Press, Chicago (1995)"},{"key":"3_CR34","unstructured":"Hodkinson, I., Reynolds, M.: Separation - past, present, and future. In: Artemov, S., et al. (eds.) We will show them! (Essays in honour of Dov Gabbay on his 60th birthday), pp. 117\u2013142. College Publications (2005)"},{"issue":"4","key":"3_CR35","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1008271805106","volume":"6","author":"M. Hollenberg","year":"1997","unstructured":"Hollenberg, M.: An equational axiomatization of dynamic negation and relational composition. Journal of Logic, Language and Information\u00a06(4), 381\u2013401 (1997)","journal-title":"Journal of Logic, Language and Information"},{"key":"3_CR36","unstructured":"Kamp, J.A.W.: Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles (1968)"},{"issue":"4","key":"3_CR37","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1145\/1185877.1185879","volume":"24","author":"J. Kamps","year":"2006","unstructured":"Kamps, J., Marx, M., de Rijke, M., Sigurbj\u00f6rnsson, B.: Articulating information needs in XML query languages. ACM Trans. Inf. Syst.\u00a024(4), 407\u2013436 (2006)","journal-title":"ACM Trans. Inf. Syst."},{"key":"3_CR38","unstructured":"Kay, M.: XPath\u00a02.0 Programmer\u2019s Reference. Wrox (2004)"},{"key":"3_CR39","unstructured":"Kay, M.: XSLT\u00a02.0 3rd edn. Programmer\u2019s Reference. Wrox (2004)"},{"key":"3_CR40","unstructured":"Kay, M.H.: SaxonB. An XSLT and XQuery processor (2006), http:\/\/saxon.sourceforge.net"},{"issue":"1","key":"3_CR41","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.jal.2005.08.002","volume":"4","author":"M. Lange","year":"2005","unstructured":"Lange, M.: Model checking propositional dynamic logic with all extras. Journal of Applied Logic\u00a04(1), 39\u201349 (2005)","journal-title":"Journal of Applied Logic"},{"issue":"5915","key":"3_CR42","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1126\/science.1167742","volume":"323","author":"D. Lazer","year":"2009","unstructured":"Lazer, D., Pentland, A., Adamic, L., Aral, S., Barabasi, A.-L., Brewer, D., Christakis, N., Contractor, N., Fowler, J., Gutmann, M., Jebara, T., King, G., Macy, M., Roy, D., Van Alstyne, M.: Computational social science. Science\u00a0323(5915), 721\u2013723 (2009)","journal-title":"Science"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. PODS, pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"3_CR44","first-page":"251","volume-title":"VLDB","author":"A.Y. Levy","year":"1996","unstructured":"Levy, A.Y., Rajaraman, A., Ordille, J.J.: Querying heterogeneous information sources using source descriptions. In: Vijayaraman, T.M., Buchmann, A.P., Mohan, C., Sarda, N.L. (eds.) VLDB, pp. 251\u2013262. Morgan Kaufmann, San Francisco (1996)"},{"key":"3_CR45","unstructured":"Lutz, C.: The Complexity of Reasoning with Concrete Domains. PhD thesis, Teaching and Research Area for Theoretical Computer Science, RWTH Aachen (2002)"},{"key":"3_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24741-8_28","volume-title":"Advances in Database Technology - EDBT 2004","author":"M. Marx","year":"2004","unstructured":"Marx, M.: XPath with conditional axis relations. In: Bertino, E., Christodoulakis, S., Plexousakis, D., Christophides, V., Koubarakis, M., B\u00f6hm, K., Ferrari, E. (eds.) EDBT 2004. LNCS, vol.\u00a02992, pp. 477\u2013494. Springer, Heidelberg (2004)"},{"issue":"4","key":"3_CR47","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1145\/1114244.1114247","volume":"30","author":"M. Marx","year":"2005","unstructured":"Marx., M.: Conditional XPath. ACM Transactions on Database Systems\u00a030(4), 929\u2013959 (2005)","journal-title":"ACM Transactions on Database Systems"},{"issue":"2","key":"3_CR48","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1083784.1083792","volume":"34","author":"M. Marx","year":"2005","unstructured":"Marx, M., de Rijke, M.: Semantic Characterizations of Navigational XPath. ACM SIGMOD Record\u00a034(2), 41\u201346 (2005)","journal-title":"ACM SIGMOD Record"},{"key":"3_CR49","unstructured":"MonetDB\/XQuery. An XQuery Implementation (2006), http:\/\/monetdb.cwi.nl\/XQuery"},{"key":"3_CR50","series-title":"Lecture Notes in Computer Science","first-page":"312","volume-title":"Database Theory - ICDT 2003","author":"F. Neven","year":"2002","unstructured":"Neven, F., Schwentick, T.: XPath containment in the presence of disjunction, DTDs, and variables. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 312\u2013326. Springer, Heidelberg (2002)"},{"key":"3_CR51","unstructured":"O\u2019Keefe, R.A., Trotman, A.: The Simplest Query Language That Could Possibly Work. In: Proceedings of the 2nd INEX Workshop (2004)"},{"key":"3_CR52","unstructured":"Rahm, E., Do, H.-H.: Data cleaning: Problems and current approaches. IEEE Techn. Bulletin on Data Engineering\u00a023(4) (2000)"},{"key":"3_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/978-3-540-78135-6_53","volume-title":"Computational Linguistics and Intelligent Text Processing","author":"M. Reynaert","year":"2008","unstructured":"Reynaert, M.: Non-interactive OCR post-correction for giga-scale digitization projects. In: Gelbukh, A. (ed.) CICLing 2008. LNCS, vol.\u00a04919, pp. 617\u2013630. Springer, Heidelberg (2008)"},{"issue":"3","key":"3_CR54","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1080\/01402380701276352","volume":"30","author":"C. Roggeband","year":"2007","unstructured":"Roggeband, C., Vliegenthart, R.: Divergent framing: The public debate on migration in the Dutch parliament and media, 1995-2004. West European Politics\u00a030(3), 524\u2013548 (2007)","journal-title":"West European Politics"},{"key":"3_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-36556-7_13","volume-title":"Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web","author":"K. Runapongsa","year":"2003","unstructured":"Runapongsa, K., Patel, J.M., Jagadish, H.V., Al-Khalifa, S.: The michigan benchmark: A microbenchmark for XML query processing systems. In: Bressan, S., Chaudhri, A.B., Li Lee, M., Yu, J.X., Lacroix, Z. (eds.) CAiSE 2002 and VLDB 2002. LNCS, vol.\u00a02590, pp. 160\u2013161. Springer, Heidelberg (2003)"},{"issue":"4","key":"3_CR56","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1108\/00012530510612068","volume":"57","author":"J. Seaton","year":"2005","unstructured":"Seaton, J.: The Scottish Parliament and e-democracy. Aslib Proceedings: New Information Perspectives\u00a057(4), 333\u2013337 (2005)","journal-title":"Aslib Proceedings: New Information Perspectives"},{"key":"3_CR57","unstructured":"Sigurbj\u00f6rnsson, B.: Focused information access using XML element retrieval. PhD thesis, University of Amsterdam (2006)"},{"key":"3_CR58","unstructured":"Stockmeyer, L.: The Complexity of Decision Problems in Automata Theory. PhD thesis, Dept. Electrical Engineering. MIT, Cambridge (1974)"},{"key":"3_CR59","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. Journal of Symbolic Logic\u00a06, 73\u201389 (1941)","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR60","volume-title":"A Formalization of Set Theory without Variables","author":"A. Tarski","year":"1987","unstructured":"Tarski, A., Givant, S.: A Formalization of Set Theory without Variables, vol.\u00a041. AMS Colloquium publications, Providence (1987)"},{"key":"3_CR61","doi-asserted-by":"crossref","unstructured":"ten Cate, B.: The expressivity of XPath with transitive closure. In: Proceedings of PODS 2006, pp. 328\u2013337 (2006)","DOI":"10.1145\/1142351.1142398"},{"key":"3_CR62","doi-asserted-by":"crossref","unstructured":"ten Cate, B., Lutz, C.: The complexity of query containment in expressive fragments of XPath 2.0. In: Proceedings PODS 2007 (2007)","DOI":"10.1145\/1265530.1265541"},{"key":"3_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/11965893_10","volume-title":"Database Theory \u2013 ICDT 2007","author":"B.D. Cate ten","year":"2006","unstructured":"ten Cate, B.D., Marx, M.: Axiomatizing the logical core of xPath 2.0. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol.\u00a04353, pp. 134\u2013148. Springer, Heidelberg (2006)"},{"issue":"2","key":"3_CR64","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1328854.1328858","volume":"36","author":"B. ten Cate","year":"2007","unstructured":"ten Cate, B., Marx, M.: Navigational xpath: calculus and algebra. SIGMOD Record\u00a036(2), 19\u201326 (2007)","journal-title":"SIGMOD Record"},{"key":"3_CR65","unstructured":"van Baalen, C., Bos, A.: In vergadering bijeen. Rituelen, symbolen, tradties en gebruiken in de Tweede Kamer. In: Jaarboek Parlementaire Geschiedenis 2008, Boom (2008)"},{"issue":"2","key":"3_CR66","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1023\/A:1005072201319","volume":"60","author":"J. Benthem van","year":"1998","unstructured":"van Benthem, J.: Program constructions that are safe for bisimulation. Studia Logica\u00a060(2), 330\u2013331 (1998)","journal-title":"Studia Logica"},{"key":"3_CR67","doi-asserted-by":"crossref","unstructured":"Vardi, M.: On the complexity of bounded\u2013variable queries. In: Proceedings PODS 1995, pp. 266\u2013276 (1995)","DOI":"10.1145\/212433.212474"},{"key":"3_CR68","first-page":"137","volume-title":"Proceedings of STOC 1982","author":"M.Y. Vardi","year":"1982","unstructured":"Vardi, M.Y.: The complexity of relational query languages (extended abstract). In: Proceedings of STOC 1982, pp. 137\u2013146. ACM Press, New York (1982)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03754-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T22:48:36Z","timestamp":1739314116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03754-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642037535","9783642037542"],"references-count":68,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03754-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}