{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:15:53Z","timestamp":1725891353867},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72982-2_18","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"239-248","source":"Crossref","is-referenced-by-count":3,"title":["A Fast Algebraic Web Verification Service"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[]},{"given":"Demis","family":"Ballis","sequence":"additional","affiliation":[]},{"given":"Moreno","family":"Falaschi","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Ojeda","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Romero","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Data on the Web. From Relations to Semistructured Data and XML","author":"S. Abiteboul","year":"2000","unstructured":"Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web. From Relations to Semistructured Data and XML. Morgan Kaufmann, San Francisco (2000)"},{"key":"18_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. Software Tools for Technology Transfer\u00a08, 565\u2013585 (2006)","journal-title":"Software Tools for Technology Transfer"},{"key":"18_CR3","unstructured":"Alpuente, M., Ballis, D., Falaschi, M., Ojeda, P., Romero, D.: The Web Verification Service WebVerdi-M. Technical Report DSIC-II\/08\/07, DSIC-UPV (2007)"},{"key":"18_CR4","volume-title":"ENTCS","author":"D. Ballis","year":"2005","unstructured":"Ballis, D., Garc\u00eda, J.: A Rule-based System for Web Site Verification. In: ENTCS. Proc. of 1st Int\u2019l Workshop on Automated Specification and Verification of Web Sites (WWV\u201905), vol.\u00a0157(2), Elsevier, North-Holland (2005)"},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/S0306-4379(03)00031-0","volume":"29","author":"E. Bertino","year":"2004","unstructured":"Bertino, E., Mesiti, M., Guerrin, G.: A Matching Algorithm for Measuring the Structural Similarity between an XML Document and a DTD and its Applications. Information Systems\u00a029(1), 23\u201346 (2004)","journal-title":"Information Systems"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45619-8_18","volume-title":"Logic Programming","author":"F. Bry","year":"2002","unstructured":"Bry, F., Schaffert, S.: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, Springer, Heidelberg (2002)"},{"key":"18_CR7","unstructured":"Centrum voor Wiskunde\u00a0en Informatica: XMark \u2013 an XML Benchmark Project (2001), Available at: \n                    \n                      http:\/\/monetdb.cwi.nl\/xml\/"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M. Clavel","year":"2003","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: The maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 76\u201387. Springer, Heidelberg (2003)"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1016\/B978-044450813-3\/50011-4","volume":"1","author":"N. Dershowitz","year":"2001","unstructured":"Dershowitz, N., Plaisted, D.: Rewriting. Handbook of Automated Reasoning\u00a01, 535\u2013610 (2001)","journal-title":"Handbook of Automated Reasoning"},{"key":"18_CR10","unstructured":"Despeyroux, T., Trousse, B.: Semantic Verification of Web Sites Using Natural Semantics. In: Proc. of 6th Conference on Content-Based Multimedia Information Access (RIAO\u201900) (2000)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-44829-2_16","volume-title":"Model Checking Software","author":"S. Eker","year":"2003","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker and its implementation. In: Ball, T., Rajamani, S.K. (eds.) Model Checking Software. LNCS, vol.\u00a02648, pp. 230\u2013234. Springer, Heidelberg (2003)"},{"issue":"1","key":"18_CR12","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/839268.839271","volume":"12","author":"E. Ellmer","year":"2003","unstructured":"Ellmer, E., Emmerich, W., Finkelstein, A., Nentwich, C.: Flexible Consistency Checking. ACM Transaction on Software Engineering\u00a012(1), 28\u201363 (2003)","journal-title":"ACM Transaction on Software Engineering"},{"key":"18_CR13","unstructured":"English, J.: The HXML Haskell Library (2002), Available at: \n                    \n                      http:\/\/www.flightlab.com\/~joe\/hxml\/"},{"key":"18_CR14","first-page":"614","volume-title":"Proc. of Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999)","author":"M. Fernandez","year":"1999","unstructured":"Fernandez, M., Florescu, D., Levy, A., Suciu, D.: Verifying Integrity Constraints on Web Sites. In: Proc. of Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999), vol.\u00a02, pp. 614\u2013619. Morgan Kaufmann, Washington (1999)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Fernandez, M.F., Suciu, D.: Optimizing Regular Path Expressions Using Graph Schemas. In: Proc. of Int\u2019l Conf on Data Engineering (ICDE\u201998), pp. 14\u201323 (1998)","DOI":"10.1109\/ICDE.1998.655753"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/3-540-36377-7_17","volume-title":"The Essence of Computation","author":"M. Leuschel","year":"2002","unstructured":"Leuschel, M.: Homeomorphic Embedding for Online Termination of Symbolic Methods. In: The Essence of Computation. LNCS, vol.\u00a02566, pp. 379\u2013403. Springer, Heidelberg (2002)"},{"issue":"2","key":"18_CR17","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science\u00a0285(2), 121\u2013154 (2002)","journal-title":"Theoretical Computer Science"},{"key":"18_CR18","volume-title":"ENTCS","author":"B. Michael","year":"2002","unstructured":"Michael, B., Juliana, F., Patrice, G.: Veriweb: automatically testing dynamic web sites. In: ENTCS. Proc. of 11th Int\u2019l WWW Conference, Elsevier, North-Holland (2002)"},{"key":"18_CR19","volume-title":"Proc. of the 25th International Conference on Software Engineering (ICSE\u201903)","author":"C. Nentwich","year":"2003","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency Management with Repair Actions. In: Proc. of the 25th International Conference on Software Engineering (ICSE\u201903), IEEE Computer Society Press, Washington (2003)"},{"issue":"1-2","key":"18_CR20","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.tcs.2006.08.035","volume":"367","author":"J. Meseguer","year":"2006","unstructured":"Meseguer, J., Escobar, S., Meadows, C.: A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties. Theoretical Computer Science\u00a0367(1-2), 162\u2013202 (2006)","journal-title":"Theoretical Computer Science"},{"key":"18_CR21","unstructured":"Typke und Wicke\u00a0GbR. Validate\/Check XML. Available at: \n                    \n                      http:\/\/www.xmlvalidation.com\/"},{"key":"18_CR22","unstructured":"World Wide\u00a0Web Consortium\u00a0(W3C). Extensible Markup Language (XML) 1.0, 2nd edn. (1999), Available at: \n                    \n                      http:\/\/www.w3.org"},{"key":"18_CR23","unstructured":"World Wide\u00a0Web Consortium\u00a0(W3C): XML Path Language (XPath) (1999), Available at: \n                    \n                       http:\/\/www.w3.org"},{"key":"18_CR24","unstructured":"World Wide\u00a0Web Consortium\u00a0(W3C): Markup Validation Service, (2005), Available at: \n                    \n                      http:\/\/validator.w3.org\/"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:52:52Z","timestamp":1619517172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_18","relation":{},"subject":[]}}