{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:46:34Z","timestamp":1730313994611,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,10,10]]},"DOI":"10.1145\/1166160.1166182","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"65-74","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Comparing XML path expressions"],"prefix":"10.1145","author":[{"given":"Pierre","family":"Genev\u00e8s","sequence":"first","affiliation":[{"name":"INRIA Rh\u00f4ne-Alpes"}]},{"given":"Nabil","family":"Laya\u00efda","sequence":"additional","affiliation":[{"name":"INRIA Rh\u00f4ne-Alpes"}]}],"member":"320","published-online":{"date-parts":[[2006,10,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1627"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.15.115-135"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/376284.375730"},{"key":"e_1_3_2_1_4_1","first-page":"159","volume-title":"Tree Automata and Languages","author":"Arnold A.","year":"1992","unstructured":"A. Arnold and D. Niwinski . Fixed point characterization of weak monadic logic definable sets of trees . In Tree Automata and Languages , pages 159 -- 188 . North-Holland, Amsterdam, Netherlands , 1992 .]] A. Arnold and D. Niwinski. Fixed point characterization of weak monadic logic definable sets of trees. In Tree Automata and Languages, pages 159--188. North-Holland, Amsterdam, Netherlands, 1992.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.51"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065172"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.030"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31856-9_27"},{"key":"e_1_3_2_1_9_1","volume-title":"W3C recommendation","author":"Clark J.","year":"1999","unstructured":"J. Clark and S. DeRose . XML path language (XPath) version 1.0 , W3C recommendation , November 1999 . http:\/\/www.w3.org\/TR\/1999\/REC-xpath-19991116.]] J. Clark and S. DeRose. XML path language (XPath) version 1.0, W3C recommendation, November 1999. http:\/\/www.w3.org\/TR\/1999\/REC-xpath-19991116.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logic of Programs, Workshop","volume":"131","author":"Clarke E.M.","year":"1981","unstructured":"E.M. Clarke and E.A. Emerson . Design and synthesis of synchronization skeletons using branching-time temporal logic . In Logic of Programs, Workshop , volume 131 of LNCS, pages 52 -- 71 , London, UK , 1981 . Springer-Verlag.]] E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs, Workshop, volume 131 of LNCS, pages 52--71, London, UK, 1981. Springer-Verlag.]]"},{"key":"e_1_3_2_1_11_1","first-page":"1","volume-title":"KRDB '01: Proceedings of the 8th International Workshop on Knowledge Representation meets Databases, volume 45 of CEUR Workshop Proceedings","author":"Deutsch A.","year":"2001","unstructured":"A. Deutsch and V. Tannen . Containment of regular path expressions under integrity constraints . In KRDB '01: Proceedings of the 8th International Workshop on Knowledge Representation meets Databases, volume 45 of CEUR Workshop Proceedings , pages 1 -- 11 , ceur-ws.org, 2001 . CEUR.]] A. Deutsch and V. Tannen. Containment of regular path expressions under integrity constraints. In KRDB '01: Proceedings of the 8th International Workshop on Knowledge Representation meets Databases, volume 45 of CEUR Workshop Proceedings, pages 1--11, ceur-ws.org, 2001. CEUR.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(70)80041-1"},{"key":"e_1_3_2_1_13_1","volume-title":"W3C working draft","author":"Draper D.","year":"2005","unstructured":"D. Draper , P. Fankhauser , M. Fern\u00e1ndez , A. Malhotra , K. Rose , M. Rys , J. Sim\u00e9on , and P. Wadler . XQuery 1.0 and XPath 2.0 formal semantics , W3C working draft , September 2005 . http:\/\/www.w3.org\/TR\/2005\/WD-xquery-semantics-20050915\/.]] D. Draper, P. Fankhauser, M. Fern\u00e1ndez, A. Malhotra, K. Rose, M. Rys, J. Sim\u00e9on, and P. Wadler. XQuery 1.0 and XPath 2.0 formal semantics, W3C working draft, September 2005. http:\/\/www.w3.org\/TR\/2005\/WD-xquery-semantics-20050915\/.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007568.1007634"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547273_10"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543617"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664569"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071614"},{"key":"e_1_3_2_1_20_1","first-page":"1","article-title":"Some classes of recursive functions","volume":"4","author":"Grzegorczyk A.","year":"1953","unstructured":"A. Grzegorczyk . Some classes of recursive functions . Rozprawy Matematyczne , 4 : 1 -- 45 , 1953 .]] A. Grzegorczyk. Some classes of recursive functions. Rozprawy Matematyczne, 4:1--45, 1953.]]","journal-title":"Rozprawy Matematyczne"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370554"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49116-3_43"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11601524_12"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055563"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055562"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24741-8_28"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/646486.694612"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/962446.962448"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/601858.601869"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/645505.756490"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/974121.974140"},{"key":"e_1_3_2_1_33_1","series-title":"BRICS Notes Series","first-page":"40","volume-title":"PLAN-X 2004: Proceedings of the International Workshop on Programming Language Technologies for XML, Venice, Italy","author":"Sur G.","year":"2004","unstructured":"G. Sur , J. Hammer , and J. Sim\u00e9on . Updatex - an XQuery-based language for processing updates in XML . In PLAN-X 2004: Proceedings of the International Workshop on Programming Language Technologies for XML, Venice, Italy , volume NS-03- 4 of BRICS Notes Series , pages 40 -- 53 , Aarhus, Denmark, January 2004 . BRICS. ]] G. Sur, J. Hammer, and J. Sim\u00e9on. Updatex - an XQuery-based language for processing updates in XML. In PLAN-X 2004: Proceedings of the International Workshop on Programming Language Technologies for XML, Venice, Italy, volume NS-03-4 of BRICS Notes Series, pages 40--53, Aarhus, Denmark, January 2004. BRICS.]]"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554554_21"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01691346"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/502187.502191"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/646252.685998"},{"key":"e_1_3_2_1_38_1","unstructured":"P. Wadler. Two semantics for XPath. Internal Technical Note of the W3C XSL Working Group http:\/\/homepages.inf.ed.ac.uk\/wadler\/papers\/xpathsemantics\/xpath-semantics.pdf January 2000.]]  P. Wadler. Two semantics for XPath. Internal Technical Note of the W3C XSL Working Group http:\/\/homepages.inf.ed.ac.uk\/wadler\/papers\/xpathsemantics\/xpath-semantics.pdf January 2000.]]"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/647482.728290"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/645505.656434"}],"event":{"name":"DocEng06: ACM Symposium on Document Engineering","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","ACM Association for Computing Machinery"],"location":"Amsterdam The Netherlands","acronym":"DocEng06"},"container-title":["Proceedings of the 2006 ACM symposium on Document engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1166160.1166182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T05:55:56Z","timestamp":1673070956000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1166160.1166182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,10]]},"references-count":40,"alternative-id":["10.1145\/1166160.1166182","10.1145\/1166160"],"URL":"https:\/\/doi.org\/10.1145\/1166160.1166182","relation":{},"subject":[],"published":{"date-parts":[[2006,10,10]]},"assertion":[{"value":"2006-10-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}