{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T07:09:59Z","timestamp":1791097799155,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540003236","type":"print"},{"value":"9783540362852","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36285-1_21","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T15:21:32Z","timestamp":1192893692000},"page":"315-329","source":"Crossref","is-referenced-by-count":56,"title":["XPath Containment in the Presence of Disjunction, DTDs, and Variables"],"prefix":"10.1007","author":[{"given":"Frank","family":"Neven","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Schwentick","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"M. Benedikt, W. Fan, and G. M. Kuper. Structural properties of XPath fragments. ICDT 2003, this volume.","DOI":"10.1007\/3-540-36285-1_6"},{"issue":"1","key":"21_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0306-4379(01)00033-3","volume":"27","author":"G. J. Bex","year":"2002","unstructured":"G. J. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT. Information Systems, 27(1):21\u201339, 2002.","journal-title":"Information Systems"},{"key":"21_CR3","unstructured":"D. Chamberlin, J. Clark, D. Florescu, J. Robie, J. Simeon, and M. Stefanascu. XQuery 1.0: An XML query language. \n                    http:\/\/www.w3.org\/TR\/xquery\/\n                    \n                  , 2002."},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/0022-0000(86)90036-X","volume":"32","author":"B. S. Chlebus","year":"1986","unstructured":"B. S. Chlebus. Domino-tiling games. Journal of Computer and System Sciences, 32(3):374\u2013392, 1986.","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR5","unstructured":"J. Clark. XML Path Language (XPath). \n                    http:\/\/www.w3.org\/TR\/xpath\n                    \n                  ."},{"key":"21_CR6","unstructured":"James Clark. XSL transformations version 1.0. \n                    http:\/\/www.w3.org\/TR\/WD-xslt\n                    \n                  , August 1999."},{"key":"21_CR7","unstructured":"S. DeRose, E. Maler, and R. Daniel. XML pointer language (XPointer) version 1.0. \n                    http:\/\/www.w3.org\/TR\/xptr\/\n                    \n                  , 2001."},{"key":"21_CR8","unstructured":"S. DeRose, E. Maler, and D. Orchard. XML linking language (XLink) version 1.0. \n                    http:\/\/www.w3.org\/TR\/xlink\/\n                    \n                  , 2001."},{"key":"21_CR9","unstructured":"A. Deutsch and V. Tannen. Containment and integrity constraints for xpath. In Maurizio Lenzerini, Daniele Nardi, Werner Nutt, and Dan Suciu, editors, Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), number 45 in CEUR Workshop Proceedings, 2001."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"G. Gottlob and C. Koch. Monadic queries over tree-structured data. In Proc. 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002.","DOI":"10.1109\/LICS.2002.1029828"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"G. Gottlob, C. Koch, and R. Pichler. Efficient algorithms for processing XPath queries. In Proc. of 28th Conf. on VLDB, 2002.","DOI":"10.1016\/B978-155860869-6\/50017-2"},{"key":"21_CR12","unstructured":"J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"G. Miklau and D. Suciu. Containment and equivalence for an XPath fragment. In Proc. 21th Symposium on Principles of Database Systems (PODS 2002), pages 65\u201376, 2002.","DOI":"10.1145\/543613.543623"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"G. Moerkotte. Incorporating XSL processing into database engines. In Proc. of 28th Conf. on VLDB, 2002.","DOI":"10.1016\/B978-155860869-6\/50018-4"},{"key":"21_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-45793-3_2","volume-title":"CSL","author":"F. Neven","year":"2002","unstructured":"F. Neven. Automata, logic, and XML. In J. C. Bradfield, editor, CSL, volume 2471 of Lecture Notes in Computer Science, pages 2\u201326. Springer, 2002."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"F. Neven. Automata theory for XML researchers. SIGMOD Record, 31(3), 2002.","DOI":"10.1145\/601858.601869"},{"key":"21_CR17","unstructured":"F. Neven and T. Schwentick. Automata-and logic-based pattern languages for tree-structured data. Unpublished, 2001."},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1016\/S0304-3975(01)00301-2","volume":"275","author":"F. Neven","year":"2002","unstructured":"F. Neven and T. Schwentick. Query automata on finite trees. Theoretical Computer Science, 275:633\u2013674, 2002.","journal-title":"Theoretical Computer Science"},{"issue":"2-3","key":"21_CR19","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0304-3975(85)90077-5","volume":"41","author":"G. Slutzki","year":"1985","unstructured":"G. Slutzki. Alternating tree automata. Theoretical Computer Science, 41(2-3):305\u2013318, 1985.","journal-title":"Theoretical Computer Science"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"P. T. Wood. Containment for XPath fragments under DTD constraints. ICDT 2003, this volume.","DOI":"10.1007\/3-540-36285-1_20"},{"key":"21_CR21","unstructured":"P. T. Wood. Minimising simple XPath expressions. WebDB informal proceedings, 2001."},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"P. T. Wood. On the equivalence of XML patterns. In Lloyd et al., editor, Computational Logic \u2014 CL 2000, volume 1861 of Lecture Notes in Artificial Intelligence, pages 1152\u20131166. Springer, 2000.","DOI":"10.1007\/3-540-44957-4_77"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36285-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T08:53:20Z","timestamp":1550998400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36285-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,16]]},"ISBN":["9783540003236","9783540362852"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-36285-1_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12,16]]}}}