{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:07:27Z","timestamp":1725552447591},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311584"},{"type":"electronic","value":"9783540324355"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11610496_20","type":"book-chapter","created":{"date-parts":[[2005,12,21]],"date-time":"2005-12-21T12:10:24Z","timestamp":1135167024000},"page":"148-156","source":"Crossref","is-referenced-by-count":9,"title":["VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Coelho","sequence":"first","affiliation":[]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Alpuente, M., Ballis, D., Falaschi, M.: A Rewriting-based Framework for Web Sites Verification. In: Electronic Notes in Theoretical Computer Science, pp. 41\u201361. Elsevier Science, Amsterdam (2005)","DOI":"10.1016\/j.entcs.2004.07.014"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","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, p. 255. Springer, Heidelberg (2002)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1007\/978-3-540-30469-2_17","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"J. Coelho","year":"2004","unstructured":"Coelho, J., Florido, M.: CLP(Flex): Constraint Logic Programming Applied to XML Processing. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol.\u00a03291, pp. 1098\u20131112. Springer, Heidelberg (2004)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Coelho, J., Florido, M.: CLP(Flex): Constraint logic programming applied to XML processing. Technical Report\u00a006, DCC-FC, LIACC. University of Porto (July 2004), available from http:\/\/www.ncc.up.pt\/~jcoelho\/clpflex.pdf","DOI":"10.1007\/978-3-540-30469-2_17"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1145\/988672.988766","volume-title":"WWW","author":"T. Despeyroux","year":"2004","unstructured":"Despeyroux, T.: Practical semantic analysis of web sites and documents. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds.) WWW, pp. 685\u2013693. ACM, New York (2004)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: FOCS, pp. 453\u2013462 (1995)","DOI":"10.1109\/SFCS.1995.492576"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. Journal of Logic Programming\u00a019\/20, 503\u2013581 (1994)","journal-title":"Journal of Logic Programming"},{"key":"20_CR8","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Artificial Intelligence and Cognitive Science","author":"T. Kutsia","year":"2002","unstructured":"Kutsia, T.: Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In: O\u2019Neill, M., Sutcliffe, R.F.E., Ryan, C., Eaton, M., Griffith, N.J.L. (eds.) AICS 2002. LNCS (LNAI), vol.\u00a02464, Springer, Heidelberg (2002)"},{"key":"20_CR9","unstructured":"Kutsia, T.: Context sequence matching for xml. In: Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15, pp. 103\u2013119 (2005)"},{"key":"20_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"20_CR11","unstructured":"SWI Prolog, http:\/\/www.swi-prolog.org\/"},{"key":"20_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-48765-4_29","volume-title":"Multiple Approaches to Intelligent Systems","author":"F. Harmelen van","year":"1999","unstructured":"van Harmelen, F., van der Meer, J.: Webmaster: Knowledge-based verification of web-pages. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds.) IEA\/AIE 1999. LNCS (LNAI), vol.\u00a01611, pp. 256\u2013265. Springer, Heidelberg (1999)"},{"key":"20_CR13","unstructured":"Extensible Markup\u00a0Language, XML (2003), http:\/\/www.w3.org\/XML\/"}],"container-title":["Lecture Notes in Computer Science","Advanced Web and Network Technologies, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11610496_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:08:38Z","timestamp":1619507318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11610496_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540311584","9783540324355"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11610496_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}