{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T15:30:32Z","timestamp":1757777432382},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319071503"},{"type":"electronic","value":"9783319071510"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07151-0_18","type":"book-chapter","created":{"date-parts":[[2014,5,21]],"date-time":"2014-05-21T23:30:14Z","timestamp":1400715014000},"page":"285-301","source":"Crossref","is-referenced-by-count":5,"title":["Constraint Logic Programming for Hedges: A Semantic Reconstruction"],"prefix":"10.1007","author":[{"given":"Besik","family":"Dundua","sequence":"first","affiliation":[]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[]},{"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[]},{"given":"Mircea","family":"Marin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","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":"18_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Coelho, J., Florido, M.: CLP (Flex): constraint logic programming applied to XML processing. In: Meersman, R. (ed.) CoopIS\/DOA\/ODBASE 2004. LNCS, vol.\u00a03291, pp. 1098\u20131112. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-30469-2_17"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11610496_20","volume-title":"Advanced Web and Network Technologies, and Applications","author":"J. Coelho","year":"2006","unstructured":"Coelho, J., Florido, M.: VeriFLog: a constraint logic programming approach to verification of website content. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) APWeb Workshops 2006. LNCS, vol.\u00a03842, pp. 148\u2013156. Springer, Heidelberg (2006)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Coelho, J., Florido, M.: XCentric: logic programming for XML processing. In: Fundulaki, I., Polyzotis, N. (eds.) WIDM, pp. 1\u20138. ACM (2007)","DOI":"10.1145\/1316902.1316904"},{"issue":"7","key":"18_CR6","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. Commun. ACM\u00a033(7), 69\u201390 (1990)","journal-title":"Commun. ACM"},{"issue":"4","key":"18_CR7","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1006\/jsco.1997.0186","volume":"25","author":"H. Comon","year":"1998","unstructured":"Comon, H.: Completion of rewrite systems with membership constraints. Part II: constraint solving. J. Symb. Comput.\u00a025(4), 421\u2013453 (1998)","journal-title":"J. Symb. Comput."},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0304-3975(82)90026-3","volume":"17","author":"N. Dershowitz","year":"1982","unstructured":"Dershowitz, N.: Orderings for term-rewriting systems. Theor. Comput. Sci.\u00a017, 279\u2013301 (1982)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"18_CR9","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1145\/365151.365169","volume":"22","author":"A. Dovier","year":"2000","unstructured":"Dovier, A., Piazza, C., Pontelli, E., Rossi, G.: Sets and constraint logic programming. ACM Trans. Program. Lang. Syst.\u00a022(5), 861\u2013931 (2000)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Dovier, A., Piazza, C., Rossi, G.: A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. ACM Trans. Comput. Log.\u00a09(3) (2008)","DOI":"10.1145\/1352582.1352583"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Dundua, B., Florido, M., Kutsia, T., Marin, M.: Constraint logic programming for hedges: A semantic reconstruction. RISC Report Series 14-02, RISC, University of Linz, Austria (2014)","DOI":"10.1007\/978-3-319-07151-0_18"},{"key":"18_CR12","unstructured":"Genesereth, M.R., Fikes, R.E.: Knowledge Interchange Format, Version 3.0 Reference Manual. Technical Report Logic-92-1, Stanford University, Stanford, CA, USA (1992)"},{"issue":"6","key":"18_CR13","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1017\/S0956796802004410","volume":"13","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: Regular expression pattern matching for XML. J. Funct. Program.\u00a013(6), 961\u20131004 (2003)","journal-title":"J. Funct. Program."},{"issue":"1-3","key":"18_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37","author":"J. Jaffar","year":"1998","unstructured":"Jaffar, J., Maher, M.J., Marriott, K., Stuckey, P.J.: The semantics of constraint logic programs. J. Log. Program.\u00a037(1-3), 1\u201346 (1998)","journal-title":"J. Log. Program."},{"issue":"3","key":"18_CR15","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1016\/j.jsc.2006.12.002","volume":"42","author":"T. Kutsia","year":"2007","unstructured":"Kutsia, T.: Solving equations with sequence variables and sequence functions. J. Symb. Comput.\u00a042(3), 352\u2013388 (2007)","journal-title":"J. Symb. Comput."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Kutsia, T., Marin, M.: Solving, reasoning, and programming in Common Logic. In: SYNASC, pp. 119\u2013126. IEEE Computer Society (2012)","DOI":"10.1109\/SYNASC.2012.27"},{"issue":"1-2","key":"18_CR17","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 \u03c1log. Journal of Applied Non-Classical Logics\u00a016(1-2), 151\u2013168 (2006)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Rajasekar, A.: Constraint logic programming on strings: Theory and applications. In: SLP, p. 681 (1994)","DOI":"10.1007\/3-540-58601-6_94"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"van den Brand, M.G.J., et al.: 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)","DOI":"10.1007\/3-540-45306-7_26"},{"key":"18_CR20","unstructured":"Walinsky, C.: CLP(\u03a3*): constraint logic programming with regular sets. In: Levi, G., Martelli, M. (eds.) ICLP, pp. 181\u2013196. MIT Press (1989)"},{"key":"18_CR21","unstructured":"Wolfram, S.: The Mathematica book, 5th edn. Wolfram-Media (2003)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07151-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T18:11:13Z","timestamp":1558894273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07151-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319071503","9783319071510"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07151-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}