{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:58:24Z","timestamp":1760061504496,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236627"},{"type":"electronic","value":"9783540304692"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30469-2_17","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T22:02:17Z","timestamp":1295042537000},"page":"1098-1112","source":"Crossref","is-referenced-by-count":14,"title":["CLP(Flex): Constraint Logic Programming Applied to XML Processing"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Coelho","sequence":"first","affiliation":[]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/944705.944711","volume-title":"Proceedings of the eighth ACM SIGPLAN International Conference on Functional Programming","author":"V. Benzaken","year":"2003","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XMLcentric general-purpose language. In: Proceedings of the eighth ACM SIGPLAN International Conference on Functional Programming, Uppsala, Sweden, pp. 51\u201363. ACM Press, Uppsala (2003)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Boley, H.: Relationships between logic programming and XML. In: Proc. 14th Workshop Logische Programmierung (2000)","DOI":"10.1007\/3-540-45408-X_21"},{"key":"17_CR3","series-title":"LNCS","volume-title":"2nd Annual International Workshop Web and Databases","author":"F. Bry","year":"2002","unstructured":"Bry, F., Schaffert, S.: The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In: 2nd Annual International Workshop Web and Databases. LNCS, vol.\u00a02593, Springer, Heidelberg (2002)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Bry, F., Schaffert, S.: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In: International Conference on Logic Programming (ICLP), LNCS, vol. 2401 (2002)","DOI":"10.1007\/3-540-45619-8_18"},{"key":"17_CR5","unstructured":"Buchberger, B., Dupre, C., Jebelean, T., Konev, B., Kriftner, F., Kutsia, T., Nakagawa, K., Piroi, F., Vasaru, D., Windsteiger, W.: The Theorema System: Proving, Solving, and Computing for the Working Mathematician. Technical Report 00-38, Research Institute for Symbolic Computation, Johannes Kepler University, Linz (2000)"},{"key":"17_CR6","unstructured":"Cheadle, A.M., Harvey, W., Sadler, A.J., Schimpf, J., Shen, K., Wallace, M.G.: ECLiPSe: An Introduction. Technical Report IC-Parc-03-1, IC-Parc, Imperial College London, London (2003)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-36388-2_19","volume-title":"Practical Aspects of Declarative Languages","author":"J. Coelho","year":"2002","unstructured":"Coelho, J., Florido, M.: Type-based XML Processing in Logic Programming. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 273\u2013285. Springer, Heidelberg (2002)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Coelho, J., Florido, M.: CLP(Flex): Constraint logic programming applied to XML processing. Technical report, DCC-FC, LIACC. University of Porto (2004), available from www.ncc.up.pt\/~jcoelho\/clpflex.pdf","DOI":"10.1007\/978-3-540-30469-2_17"},{"issue":"7","key":"17_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Colmerauer, A.: An introduction to Prolog III. Communications of the ACM\u00a033(7), 69\u201390 (1990)","journal-title":"Communications of the ACM"},{"key":"17_CR10","unstructured":"Colmerauer, A.: Prolog III Reference and Users Manual, Version 1.1. In: PrologIA, Marseilles (1990)"},{"issue":"6","key":"17_CR11","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1006\/ijhc.1996.0121","volume":"46","author":"A. Farquhar","year":"1997","unstructured":"Farquhar, A., Fikes, R., Rice, J.: The ontolingua server: A tool for collaborative ontology construction. International Journal of Human-Computer Studies\u00a046(6), 707\u2013727 (1997)","journal-title":"International Journal of Human-Computer Studies"},{"key":"17_CR12","unstructured":"Genesereth, M.R., Fikes, R.E.: Knowledge Interchange Format, Version 3.0 Reference Manual TR Logic-92-1. Technical report, Stanford University, Stanford (1992)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-45271-0_15","volume-title":"The World Wide Web and Databases","author":"H. Hosoya","year":"2000","unstructured":"Hosoya, H., Pierce, B.: XDuce: A typed XML processing language. In: Suciu, D., Vossen, G. (eds.) WebDB 2000. LNCS, vol.\u00a01997, p. 226. Springer, Heidelberg (2000)"},{"issue":"1","key":"17_CR14","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/78935.78938","volume":"37","author":"J. Jaffar","year":"1990","unstructured":"Jaffar, J.: Minimal and complete word unification. Journal of the ACM\u00a037(1), 47\u201385 (1990)","journal-title":"Journal of the ACM"},{"key":"17_CR15","first-page":"111","volume-title":"Proceedings of the Fourteenth Annual ACM Symp. on Principles of Programming Languages, POPL 1987","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.L.: Constraint Logic Programming. In: Proceedings of the Fourteenth Annual ACM Symp. on Principles of Programming Languages, POPL 1987, Munich, Germany, pp. 111\u2013119. ACM Press, New York (1987)"},{"key":"17_CR16","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":"17_CR17","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C.: The CLP(R) Language and System. Trans. Program. Lang. Syst.\u00a014, 339\u2013395 (1992)","journal-title":"Trans. Program. Lang. Syst."},{"key":"17_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-45470-5_26","volume-title":"Artificial Intelligence, Automated Reasoning, and Symbolic Computation","author":"T. Kutsia","year":"2002","unstructured":"Kutsia, T.: Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In: Calmet, J., Benhamou, B., Caprotti, O., H\u00e9nocque, L., Sorge, V. (eds.) AISC 2002 and Calculemus 2002. LNCS (LNAI), vol.\u00a02385, pp. 290\u2013304. Springer, Heidelberg (2002)"},{"key":"17_CR19","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":"17_CR20","first-page":"147","volume":"103","author":"G.S. Makanin","year":"1977","unstructured":"Makanin, G.S.: The problem of solvability of equations in a free semigroup. Math. Sbornik USSR\u00a0103, 147\u2013236 (1977)","journal-title":"Math. Sbornik USSR"},{"key":"17_CR21","volume-title":"International Database Engineering & Applications Symposium (IDEAS 2001)","author":"W. May","year":"2001","unstructured":"May, W.: XPathLog: A Declarative, Native XML Data Manipulation Language. In: International Database Engineering & Applications Symposium (IDEAS 2001), Grenoble, France, IEEE, Los Alamitos (2001)"},{"key":"17_CR22","unstructured":"Pillow: Programming in (Constraint) Logic Languages on the Web, http:\/\/clip.dia.fi.upm.es\/Software\/pillow\/pillow.html"},{"key":"17_CR23","unstructured":"SWI Prolog, http:\/\/www.swi-prolog.org\/"},{"issue":"2","key":"17_CR24","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00881904","volume":"11","author":"K.U. Schulz","year":"1993","unstructured":"Schulz, K.U.: Word unification and transformation of generalized equations. Journal of Automated Reasoning\u00a011(2), 149\u2013184 (1993)","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR25","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0743-1066(92)90039-6","volume":"12","author":"G. Smolka","year":"1992","unstructured":"Smolka, G.: Feature constraint logics for unification grammars. Journal of Logic Programming\u00a012, 51\u201387 (1992)","journal-title":"Journal of Logic Programming"},{"key":"17_CR26","unstructured":"Extensible Markup Language (XML), http:\/\/www.w3.org\/XML\/"},{"key":"17_CR27","unstructured":"XSL Transformations (XSLT) (1999), http:\/\/www.w3.org\/TR\/xslt\/"},{"key":"17_CR28","unstructured":"Xtatic, http:\/\/www.cis.upenn.edu\/~bcpierce\/xtatic\/"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30469-2_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T20:25:43Z","timestamp":1740860743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30469-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236627","9783540304692"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30469-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}