{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:59:55Z","timestamp":1760061595719},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159176"},{"type":"electronic","value":"9783642159183"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15918-3_13","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T12:39:24Z","timestamp":1284554364000},"page":"164-172","source":"Crossref","is-referenced-by-count":4,"title":["A Rule-Based Approach to XML Processing and Web Reasoning"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Coelho","sequence":"first","affiliation":[]},{"given":"Besik","family":"Dundua","sequence":"additional","affiliation":[]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[]},{"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.: Logic programming and negation: A survey. J.\u00a0Logic Programming\u00a019, 9\u201371 (1994)","journal-title":"J.\u00a0Logic Programming"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-73449-9_5","volume-title":"Term Rewriting and Applications","author":"E. Balland","year":"2007","unstructured":"Balland, E., Brauner, P., Kopetz, R., Moreau, P.-E., Reilles, A.: Tom: Piggybacking rewriting on java. In: Baader, F. (ed.) RTA 2007. LNCS, vol.\u00a04533, pp. 36\u201347. Springer, Heidelberg (2007)"},{"key":"13_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/3-540-45653-8_38","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"R. Baumgartner","year":"2001","unstructured":"Baumgartner, R., Flesca, S., Gottlob, G.: The Elog web extraction language. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 548\u2013560. Springer, Heidelberg (2001)"},{"key":"13_CR4","first-page":"51","volume-title":"Proc. ICFP\u201903","author":"V. Benzaken","year":"2003","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-centric general-purpose language. In: Proc. ICFP\u201903, pp. 51\u201363. ACM, New York (2003)"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/344788.344822","volume":"29","author":"A. Bonifati","year":"2000","unstructured":"Bonifati, A., Ceri, S.: Comparative analysis of five XML query languages. ACM SIGMOD Record\u00a029(1), 68\u201379 (2000)","journal-title":"ACM SIGMOD Record"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Vittek, M.: Elan: A logical framework based on computational systems. ENTCS\u00a04 (1996)","DOI":"10.1016\/S1571-0661(04)00032-5"},{"key":"13_CR7","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)"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/s007780050084","volume":"9","author":"P. Buneman","year":"2000","unstructured":"Buneman, P., Fernandez, M., Suciu, D.: UnQL: a query language and algebra for semistructured data based on structural recursion. The VLDB Journal\u00a09(1), 76\u2013110 (2000)","journal-title":"The VLDB Journal"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Cirstea, H., Kirchner, C.: The rewriting calculus - Parts I and II. Logic Journal of the IGPL\u00a09(3) (2001)","DOI":"10.1093\/jigpal\/9.3.377"},{"issue":"2","key":"13_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science\u00a0285(2), 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"13_CR12","unstructured":"Coelho, J., Florido, M.: XCentric: A logic programming language for XML. Technical Report Dcc-2005-X, Dcc-Fc and Liacc, University of Porto (2005)"},{"key":"13_CR13","unstructured":"Dundua, B., Kutsia, T.: P\u03c1Log. Version 0.7, \n                    \n                      http:\/\/www.risc.uni-linz.ac.at\/people\/tkutsia\/software.html"},{"issue":"1-3","key":"13_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of Constraint Handling Rules. J.\u00a0Logic Programming\u00a037(1-3), 95\u2013138 (1998)","journal-title":"J.\u00a0Logic Programming"},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Trans. Internet Techn.\u00a03(2), 117\u2013148 (2003)","journal-title":"ACM Trans. Internet Techn."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Kutsia, T.: Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols. PhD thesis, Johannes Kepler University, Linz (2002)","DOI":"10.1007\/3-540-36078-6_19"},{"key":"13_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/11591191_16","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"T. Kutsia","year":"2005","unstructured":"Kutsia, T., Marin, M.: Matching with regular constraints. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 215\u2013229. Springer, Heidelberg (2005)"},{"key":"13_CR18","unstructured":"Maier, D.: Database desiderata for and XML query language (1998), \n                    \n                      http:\/\/www.w3.org\/TandS\/QL\/QL98\/pp\/maier.html"},{"issue":"1-2","key":"13_CR19","doi-asserted-by":"publisher","first-page":"151","DOI":"10.3166\/jancl.16.151-168","volume":"16","author":"M. Marin","year":"2006","unstructured":"Marin, M., Kutsia, T.: Foundations of the rule-based system RhoLog. Journal of Applied Non-Classical Logics\u00a016(1-2), 151\u2013168 (2006)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"13_CR20","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"},{"issue":"3","key":"13_CR21","first-page":"239","volume":"4","author":"W. May","year":"2004","unstructured":"May, W.: XPath-Logic and XPathLog: a logic-programming-style XML data manipulation language. TPLP\u00a04(3), 239\u2013287 (2004)","journal-title":"TPLP"},{"key":"13_CR22","unstructured":"The OBJ Family, \n                    \n                      http:\/\/cseweb.ucsd.edu\/~goguen\/sys\/obj.html"},{"key":"13_CR23","unstructured":"REWERSE. Reasoning on the web, \n                    \n                      http:\/\/rewerse.net\/"},{"key":"13_CR24","unstructured":"Schaffert, S.: Xcerpt: a rule-based query and transformation language for the Web. PhD thesis, University of Munich (2004)"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"M.G.J. Brand van den","year":"2001","unstructured":"van den Brand, M.G.J., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF meta-environment: A component-based language development environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications","author":"E. Visser","year":"2001","unstructured":"Visser, E.: Stratego: A language for program transformation based on rewriting strategies. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.\u00a02051, pp. 357\u2013362. Springer, Heidelberg (2001)"}],"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-642-15918-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T22:26:52Z","timestamp":1558304812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15918-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159176","9783642159183"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15918-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}