{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T23:10:13Z","timestamp":1784848213198,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540692690","type":"print"},{"value":"9783540692706","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11965893_10","type":"book-chapter","created":{"date-parts":[[2006,12,7]],"date-time":"2006-12-07T07:52:22Z","timestamp":1165477942000},"page":"134-148","source":"Crossref","is-referenced-by-count":16,"title":["Axiomatizing the Logical Core of XPath 2.0"],"prefix":"10.1007","author":[{"given":"Balder","family":"ten Cate","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maarten","family":"Marx","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Foundations of databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of databases. Addison-Wesley, Reading (1995)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24615-2_1","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments","author":"R. Berghammer","year":"2003","unstructured":"Berghammer, R., Schmidt, G., Winter, M.: RelView and Rath - two systems for dealing with relations. In: de Swart, H., Or\u0142owska, E., Schmidt, G., Roubens, M. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments. LNCS, vol.\u00a02929, pp. 1\u201316. Springer, Heidelberg (2003)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bojanczyk, M., Muscholl, A., Schwentick, T., Segoufin, L., David, C.: Two-variable logic on words with data. In: Proceedings LICS 2006, pp. 7\u201316 (2006)","DOI":"10.1109\/LICS.2006.51"},{"key":"10_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem","author":"E. B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Springer, Heidelberg (1997)"},{"key":"10_CR5","unstructured":"Dawar, A.: How many first-order variables are needed on finite ordered structures? In: Artemov, S., et al. (eds.) We will show them: Essays in Honour of Dov Gabbay, pp. 489\u2013520. College Publications (2005)"},{"key":"10_CR6","unstructured":"Doets, H.C.: Completeness and Definability: Applications of the Ehrenfeucht Game in Intensional and Second-Order Logic. PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam (1987)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Geerts, F., Fan, W.: Satisfiability of XPath queries with sibling axes. In: Proceedings DBPL 2005, pp. 122\u2013137 (2005)","DOI":"10.1007\/11601524_8"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Koch, C., Pichler, R.: Efficient algorithms for processing XPath queries. In: VLDB 2002, pp. 95\u2013106 (2002)","DOI":"10.1016\/B978-155860869-6\/50017-2"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Gyssens, M., Paredaens, J., Van Gucht, D., Fletcher, G.: Structural characterizations of the semantics of XPath as navigation tool on a document. In: Proceedings PODS 2006, pp. 318\u2013327 (2006)","DOI":"10.1145\/1142351.1142397"},{"key":"10_CR10","volume-title":"Cylindric Algebras, Part II","author":"L. Henkin","year":"1985","unstructured":"Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras, Part II. North-Holland, Amsterdam (1985)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-24607-7_3","volume-title":"Database Programming Languages","author":"J. Hidders","year":"2004","unstructured":"Hidders, J.: Satisfiability of XPath expressions. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol.\u00a02921, pp. 21\u201336. Springer, Heidelberg (2004)"},{"key":"10_CR12","unstructured":"Kay, M.: XPath\u00a02.0 Programmer\u2019s Reference. Wrox (2004)"},{"issue":"4","key":"10_CR13","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 (TODS)\u00a030(4), 929\u2013959 (2005)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-36387-4_13","volume-title":"Automata, Logics, and Infinite Games","author":"K. Reinhardt","year":"2002","unstructured":"Reinhardt, K.: The complexity of translating logic to finite automata. In: Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.) Automata, Logics, and Infinite Games. LNCS, vol.\u00a02500, pp. 231\u2013238. Springer, Heidelberg (2002)"},{"key":"10_CR15","unstructured":"Rogers, J.: A Descriptive Approach to Language Theoretic Complexity. CSLI Press (1998)"},{"key":"10_CR16","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":"10_CR17","doi-asserted-by":"crossref","unstructured":"Tarski, A., Givant, S.: A Formalization of Set Theory without Variables, vol.\u00a041. AMS Colloquium publications, Providence, Rhode Island (1987)","DOI":"10.1090\/coll\/041"},{"key":"10_CR18","unstructured":"Venema, Y.: Many\u2013Dimensional Modal Logic. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam (1992)"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2013 ICDT 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11965893_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T19:19:58Z","timestamp":1555960798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11965893_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540692690","9783540692706"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11965893_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}