{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:05:20Z","timestamp":1748664320959,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319231648"},{"type":"electronic","value":"9783319231655"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23165-5_25","type":"book-chapter","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T03:57:43Z","timestamp":1440561463000},"page":"539-561","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Satisfiability of Constraint Specifications on XML Documents"],"prefix":"10.1007","author":[{"given":"Marisa","family":"Navarro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elvira","family":"Pino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,27]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Albors, J., Navarro, M.: SpecSatisfiabilityTool: a tool for testing the satisfiability of specifications on XML documents. In: Proceedings of PROLE 2014, EPTCS, vol. 173, pp. 27\u201340 (2015)","DOI":"10.4204\/EPTCS.173.3"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/s10009-006-0009-7","volume":"8","author":"M Alpuente","year":"2006","unstructured":"Alpuente, M., Ballis, D., Falaschi, M.: Automated verification of web sites using partial rewriting. Softw. Tools Technol. Transf. 8, 565\u2013585 (2006)","journal-title":"Softw. Tools Technol. Transf."},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/1346330.1346333","volume":"55","author":"M Benedikt","year":"2008","unstructured":"Benedikt, M., Fan, W., Geerts, F.: XPath satisfiability in the presence of DTDs. JACM 55, 2 (2008)","journal-title":"JACM"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1456650.1456653","volume":"41","author":"M Benedikt","year":"2008","unstructured":"Benedikt, M., Koch, C.: XPath leashed. ACM Comput. Surv. 41, 1 (2008)","journal-title":"ACM Comput. Surv."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Bidoit, N., Colazzo D.: Testing XML constraint satisfiability. In: Proceedings of the International Workshop on Hybrid Logic (HyLo 2006), ENTCS, vol. 174(6), pp. 45\u201361 (2007)","DOI":"10.1016\/j.entcs.2006.11.025"},{"issue":"2","key":"25_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"25_CR7","unstructured":"Habel A., Radke H.: Expressiveness of graph conditions with variables. In: International Colloquium on Graph and Model Transformation GraMoT 2010, ECEASST, vol. 30 (2010)"},{"key":"25_CR8","first-page":"100","volume-title":"Handbook of Automated Reasoning","author":"R H\u00e4hnle","year":"2001","unstructured":"H\u00e4hnle, R.: Tableaux and related methods. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 100\u2013178. Elsevier, Amsterdam (2001)"},{"key":"25_CR9","unstructured":"Jelliffe, R.: Schematron, Internet Document. http:\/\/xml.ascc.net\/resource\/schematron\/"},{"issue":"2","key":"25_CR10","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1137\/S0097539791218202","volume":"24","author":"P Kilpelainen","year":"1995","unstructured":"Kilpelainen, P., Mannila, H.: Ordered and unordered tree inclusion. SIAM J. Comput. Arch. 24(2), 340\u2013356 (1995)","journal-title":"SIAM J. Comput. Arch."},{"issue":"1","key":"25_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/962446.962448","volume":"51","author":"G Miklau","year":"2004","unstructured":"Miklau, G., Suciu, D.: Containment and equivalence for a fragment of XPath. JACM 51(1), 2\u201345 (2004)","journal-title":"JACM"},{"issue":"1","key":"25_CR12","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/839268.839271","volume":"12","author":"C Nentwich","year":"2003","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible consistency checking. ACM Trans. Softw. Eng. Methodol. 12(1), 28\u201363 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Navarro, M., Orejas, F.: A refutation procedure for proving satisfiability of constraint specifications on XML documents. In: SCSS 2014, EasyChair EPiC series, vol. 30, pp. 47\u201361 (2014)","DOI":"10.29007\/jfwc"},{"issue":"3","key":"25_CR14","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1016\/j.jsc.2010.09.009","volume":"46","author":"F Orejas","year":"2011","unstructured":"Orejas, F.: Symbolic graphs for attributed graph constraints. J. Symb. Comput. 46(3), 294\u2013315 (2011)","journal-title":"J. Symb. Comput."},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-78743-3_14","volume-title":"Fundamental Approaches to Software Engineering","author":"F Orejas","year":"2008","unstructured":"Orejas, F., Ehrig, H., Prange, U.: A logic of graph constraints. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 179\u2013198. Springer, Heidelberg (2008)"},{"issue":"3\u20134","key":"25_CR16","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s00165-009-0116-9","volume":"22","author":"F Orejas","year":"2010","unstructured":"Orejas, F., Ehrig, H., Prange, U.: Reasoning with graph constraints. Formal Asp. Comput. 22(3\u20134), 385\u2013422 (2010)","journal-title":"Formal Asp. Comput."},{"key":"25_CR17","unstructured":"World WIDE WEB CONSORTIUM: XML path language (XPath) recommendation (1999). http:\/\/www.w3c.org\/TR\/XPath\/"},{"key":"25_CR18","unstructured":"World WIDE WEB CONSORTIUM: XSL transformations (XSLT). W3C recommendation version 1.0 (1999). http:\/\/www.w3.org\/TR\/xslt"},{"key":"25_CR19","unstructured":"World WIDE WEB CONSORTIUM: XML schema part 0: Primer. W3C recommendation (2001). http:\/\/www.w3c.org\/XML\/Schema"},{"key":"25_CR20","unstructured":"World WIDE WEB CONSORTIUM: XQuery 1.0 and XPath 2.0 formal semantics. W3C working draft (2002). http:\/\/www.w3.org\/TR\/query-algebra\/"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"WORLD WIDE WEB CONSORTIUM: XML path language (XPath) 2.0 (2007)","DOI":"10.1145\/1242572.1242842"}],"container-title":["Lecture Notes in Computer Science","Logic, Rewriting, and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23165-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T04:39:51Z","timestamp":1748579991000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23165-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319231648","9783319231655"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23165-5_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"27 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}