{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:21:11Z","timestamp":1742635271496},"publisher-location":"Berlin, Heidelberg","reference-count":141,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642143083"},{"type":"electronic","value":"9783642143090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14309-0_4","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T13:09:58Z","timestamp":1277298598000},"page":"64-86","source":"Crossref","is-referenced-by-count":8,"title":["Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Marco","family":"Gavanelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Alberti, M., Cattafi, M., Gavanelli, M., Lamma, E., Chesani, F., Montali, M., Mello, P., Torroni, P.: Integrating abductive logic programming and description logics in a dynamic contracting architecture. In: IEEE Int. Conf. on Web Services (2009)","DOI":"10.1109\/ICWS.2009.78"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M.: An abductive framework for a-priori verification of web services. In: PPDP (2006)","DOI":"10.1145\/1140335.1140342"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logics\u00a09(4) (2008)","DOI":"10.1145\/1380572.1380578"},{"key":"4_CR4","first-page":"116","volume-title":"ECAI","author":"M. Alberti","year":"2002","unstructured":"Alberti, M., Lamma, E.: Synthesis of object models from partial models: A CSP perspective. In: van Harmelen, F. (ed.) ECAI, pp. 116\u2013120. IOS Press, Amsterdam (2002)"},{"key":"4_CR5","unstructured":"Alpuente, M., Sessa, M. (eds.): GULP-PRODE 1995 (1995)"},{"key":"4_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K.R. Apt","year":"2003","unstructured":"Apt, K.R.: Principles of Constraint Programming. Cambridge Univ. Press, Cambridge (2003)"},{"key":"4_CR7","volume-title":"Constraint Logic Programming Using ECL i PS e","author":"K.R. Apt","year":"2006","unstructured":"Apt, K.R., Wallace, M.G.: Constraint Logic Programming Using ECL i PS e . Cambridge University Press, Cambridge (2006)"},{"key":"4_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/BFb0057432","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"A. Armando","year":"1998","unstructured":"Armando, A., Melis, E., Ranise, S.: Constraint solving in logic programming and in automated deduction: A comparison. In: Giunchiglia, F. (ed.) AIMSA 1998. LNCS (LNAI), vol.\u00a01480, pp. 28\u201338. Springer, Heidelberg (1998)"},{"issue":"9","key":"4_CR9","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/MC.2004.129","volume":"37","author":"F. Avanzini","year":"2004","unstructured":"Avanzini, F., Rocchesso, D., Belussi, A., Dal Pal\u00f9, A., Dovier, A.: Designing an urban-scale auditory alert system. IEEE Computer\u00a037(9), 55\u201361 (2004)","journal-title":"IEEE Computer"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Backofen, R., Gilbert, D.: Bioinformatics and constraints. In: Rossi, et al [127]","DOI":"10.1016\/S1574-6526(06)80030-1"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-47764-0_10","volume-title":"Static Analysis","author":"R. Bagnara","year":"2001","unstructured":"Bagnara, R., Gori, R., Hill, P.M., Zaffanella, E.: Finite-tree analysis for constraint logic-based languages. In: Cousot, P. (ed.) SAS 2001. LNCS, vol.\u00a02126, pp. 165\u2013184. Springer, Heidelberg (2001)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Baptiste, P., Laborie, P., Le Pape, C., Nuijten, W.: Constraint-based scheduling and planning. In: Rossi, et al [127]","DOI":"10.1016\/S1574-6526(06)80026-X"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/5254.912387","volume":"16","author":"R. Barruffi","year":"2001","unstructured":"Barruffi, R., Milano, M., Montanari, R.: Planning for security management. IEEE Intelligent Systems\u00a016(1), 74\u201380 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"4_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-39963-1_24","volume-title":"Foundations of Intelligent Systems","author":"R. Barruffi","year":"2000","unstructured":"Barruffi, R., Milano, M., Torroni, P.: Planning while executing: A constraint-based approach. In: Ohsuga, S., Ra\u015b, Z.W. (eds.) ISMIS 2000. LNCS (LNAI), vol.\u00a01932, pp. 228\u2013236. Springer, Heidelberg (2000)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11562931_7","volume-title":"Logic Programming","author":"S. Baselice","year":"2005","unstructured":"Baselice, S., Bonatti, P., Gelfond, M.: Towards an integration of answer set and constraint solving. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 52\u201366. Springer, Heidelberg (2005)"},{"issue":"5-6","key":"4_CR16","first-page":"545","volume":"4","author":"G. Bella","year":"2004","unstructured":"Bella, G., Bistarelli, S.: Soft constraint programming to analysing security protocols. TPLP\u00a04(5-6), 545\u2013572 (2004)","journal-title":"TPLP"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-68155-7_6","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"L. Benini","year":"2008","unstructured":"Benini, L., Lombardi, M., Mantovani, M., Milano, M., Ruggiero, M.: Multi-stage Benders decomposition for optimizing multicore architectures. In: Perron, L., Trick, M.A. (eds.) CPAIOR 2008. LNCS, vol.\u00a05015, pp. 36\u201350. Springer, Heidelberg (2008)"},{"key":"4_CR18","unstructured":"Bergenti, F., Dal Pal\u00f9, A., Rossi, G.: Generalizing finite domain constraint solving. In: Formisano, A. (ed.) CILC 2008 (2008)"},{"key":"4_CR19","unstructured":"Bertolino, B., Bonatti, P.A., Montesi, D., Pelagatti, S.: Correctness and completeness of logic programs under the CLP schema. In: Asirelli, P. (ed.) Proc. Sixth Italian Conference on Logic Programming, Pisa, Italy, pp. 391\u2013405 (1991)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Bessiere, C.: Constraint propagation. In: Rossi, et al [127]","DOI":"10.1016\/S1574-6526(06)80007-6"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","year":"2007","unstructured":"Bessi\u00e8re, C. (ed.): CP 2007. LNCS, vol.\u00a04741. Springer, Heidelberg (2007)"},{"key":"4_CR22","first-page":"1","volume-title":"SAC","author":"S. Bistarelli","year":"2002","unstructured":"Bistarelli, S., Fr\u00fchwirth, T.W., Marte, M.: Soft constraint propagation and solving in chrs. In: SAC, pp. 1\u20135. ACM, New York (2002)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-68265-3_4","volume-title":"Coordination Models and Languages","author":"S. Bistarelli","year":"2008","unstructured":"Bistarelli, S., Gabbrielli, M., Meo, M., Santini, F.: Timed soft concurrent constraint programs. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 50\u201366. Springer, Heidelberg (2008)"},{"issue":"2","key":"4_CR24","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring based constraint solving and optimization. Journal of the ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"Journal of the ACM"},{"key":"4_CR25","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint logic programming. In: IJCAI 2001, pp. 352\u2013357 (2001)"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45927-8_5","volume-title":"Programming Languages and Systems","author":"S. Bistarelli","year":"2002","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Soft concurrent constraint programming. In: Le M\u00e9tayer, D. (ed.) ESOP 2002. LNCS, vol.\u00a02305, pp. 53\u201367. Springer, Heidelberg (2002)"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-642-14309-0_8","volume-title":"25 Years of Logic Programming, ch.8","author":"P. Bonatti","year":"2010","unstructured":"Bonatti, P., Calimeri, F., Leone, N., Ricca, F.: Answer Set Programming. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming, ch.8. LNCS, vol.\u00a06125, pp. 159\u2013182. Springer, Heidelberg (2010)"},{"key":"4_CR28","unstructured":"Borning, A., Maher, M., Martindale, A., Wilson, M.: Constraint hierarchies and logic programming. In: Levi, G., Martelli, M. (eds.) ICLP (1989)"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0017473","volume-title":"Trees in Algebra and Programming - CAAP \u201994","author":"P. Bruscoli","year":"1994","unstructured":"Bruscoli, P., Levi, F., Levi, G., Meo, M.: Compilative constructive negation in constraint logic programs. In: Tison, S. (ed.) CAAP 1994. LNCS, vol.\u00a0787, pp. 52\u201367. Springer, Heidelberg (1994)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","volume-title":"Foundations of Intelligent Systems","author":"V. Brusoni","year":"1996","unstructured":"Brusoni, V., Console, L., Lamma, E., Mello, P., Milano, M., Terenziani, P.: Resource-based vs. task-based approaches for scheduling problems. In: Michalewicz, M., Ra\u015b, Z.W. (eds.) ISMIS 1996. LNCS, vol.\u00a01079. Springer, Heidelberg (1996)"},{"issue":"3","key":"4_CR31","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.cosrev.2008.10.001","volume":"2","author":"M.G. Buscemi","year":"2008","unstructured":"Buscemi, M.G., Montanari, U.: A survey of constraint-based programming paradigms. Computer Science Review\u00a02(3), 137\u2013141 (2008)","journal-title":"Computer Science Review"},{"key":"4_CR32","unstructured":"Cabeza, D., Hermenegildo, M.: Implementing distributed concurrent constraint execution in the CIAO system. In: Lucio, P., Martelli, M., Navarro, M. (eds.) APPIA-GULP-PRODE (1996)"},{"key":"4_CR33","volume-title":"AI*IA","author":"M. Cadoli","year":"2005","unstructured":"Cadoli, M., Mancini, T.: Using a theorem prover for reasoning on constraint problems. In: Bandini, S., Manzoni, S. (eds.) AI*IA. Springer, Heidelberg (2005)"},{"issue":"1","key":"4_CR34","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1002\/(SICI)1097-024X(199801)28:1<49::AID-SPE147>3.0.CO;2-R","volume":"28","author":"A. Caprara","year":"1998","unstructured":"Caprara, A., Focacci, F., Lamma, E., Mello, P., Milano, M., Toth, P., Vigo, D.: Integrating constraint logic programming and operations research techniques for the crew rostering problem. Softw. Pract. Exper.\u00a028(1), 49\u201376 (1998)","journal-title":"Softw. Pract. Exper."},{"key":"4_CR35","unstructured":"Carlsson, M., Widen, J.: SICStus Prolog User\u2019s Manual. Technical report, Swedish Institute of Computer Science (SICS) (1999)"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Carraresi, P., Gallo, G., Rago, G.: A hypergraph model for constraint logic programming and applications to bus drivers\u2019 scheduling. AMAI\u00a08(3-4) (1993)","DOI":"10.1007\/BF01530792"},{"key":"4_CR37","unstructured":"Cheadle, A., Harvey, W., Sadler, A., Schimpf, J., Shen, K., Wallace, M.: ECLiPSe: a tutorial introduction (2003), http:\/\/eclipse-clp.org\/doc\/tutorial"},{"key":"4_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/11890584_9","volume-title":"Hybrid Metaheuristics","author":"R. Cipriano","year":"2006","unstructured":"Cipriano, R., Di Gaspero, L., Dovier, A.: Hybrid approaches for rostering: A case study in the integration of constraint programming and local search. In: Almeida, F., Blesa Aguilera, M.J., Blum, C., Moreno Vega, J.M., P\u00e9rez P\u00e9rez, M., Roli, A., Sampels, M. (eds.) HM 2006. LNCS, vol.\u00a04030, pp. 110\u2013123. Springer, Heidelberg (2006)"},{"key":"4_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-04918-7_11","volume-title":"Hybrid Metaheuristics","author":"R. Cipriano","year":"2009","unstructured":"Cipriano, R., Di Gaspero, L., Dovier, A.: A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal\u2009+\u2009+\u2009. In: Sampels, M. (ed.) HM 2009. LNCS, vol.\u00a05818, pp. 141\u2013155. Springer, Heidelberg (2009)"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"Codognet, P., Diaz, D.: Compiling constraints in clp(fd). J. Log. Prog. (1996)","DOI":"10.1016\/0743-1066(95)00121-2"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"Colmerauer, A.: An introduction to Prolog-III. Communication of the ACM (1990)","DOI":"10.1145\/79204.79210"},{"key":"4_CR42","unstructured":"Colmerauer, A.: Prolog II reference manual and theoretical model. Technical report, Groupe Intelligence Artificielle, Universit\u00e8 Aix-Mareseille II (October 1982)"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Colussi, L., Marchiori, E., Marchiori, M.: A dataflow semantics for constraint logic programs. In: Alpuente, Sessa [5], pp. 557\u2013568","DOI":"10.1007\/BFb0026834"},{"key":"4_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-45789-5_24","volume-title":"Static Analysis","author":"R. Corin","year":"2002","unstructured":"Corin, R., Etalle, S.: An improved constraint-based system for the verification of security protocols. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 326\u2013341. Springer, Heidelberg (2002)"},{"key":"4_CR45","unstructured":"Cucchiara, R., Gavanelli, M., Lamma, E., Mello, P., Milano, M., Piccardi, M.: Extending CLP(FD) with interactive data acquisition for 3D visual object recognition. In: Proc. PACLP 1999, pp. 137\u2013155 (1999)"},{"issue":"4","key":"4_CR46","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF03037573","volume":"19","author":"R. Cucchiara","year":"2001","unstructured":"Cucchiara, R., Gavanelli, M., Lamma, E., Mello, P., Milano, M., Piccardi, M.: From eager to lazy constrained data acquisition: A general framework. New Generation Computing\u00a019(4), 339\u2013367 (2001)","journal-title":"New Generation Computing"},{"key":"4_CR47","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming","year":"2007","unstructured":"Dahl, V., Niemel\u00e4, I. (eds.): ICLP 2007. LNCS, vol.\u00a04670. Springer, Heidelberg (2007)"},{"key":"4_CR48","doi-asserted-by":"crossref","unstructured":"Dal Pal\u00f9, A., Dovier, A., Fogolari, F.: Constraint logic programming approach to protein structure prediction. BMC Bioinformatics\u00a05 (2004)","DOI":"10.1186\/1471-2105-5-186"},{"key":"4_CR49","doi-asserted-by":"crossref","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. Int\u2019l Journal of Data Mining and Bioinformatics\u00a04(1) (January 2010)","DOI":"10.1504\/IJDMB.2010.030964"},{"key":"4_CR50","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/888251.888272","volume-title":"PPDP 2003","author":"A. Pal\u00f9 Dal","year":"2003","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E., Rossi, G.: Integrating finite domain constraints and CLP with sets. In: PPDP 2003, pp. 219\u2013229. ACM, New York (2003)"},{"key":"4_CR51","doi-asserted-by":"crossref","unstructured":"Dal Pal\u00f9, A., Torroni, P.: 25 Years of Applications of Logic Programming. In: Dovier, Pontelli [68], vol.\u00a06125, ch.14, pp. 298\u2013325 (2010)","DOI":"10.1007\/978-3-642-14309-0_14"},{"issue":"1","key":"4_CR52","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/logcom\/7.1.1","volume":"7","author":"F.S. Boer de","year":"1997","unstructured":"de Boer, F.S., Di Pierro, A., Palamidessi, C.: An algebraic perspective of constraint logic programming. Journal of Logic and Computation\u00a07(1), 1\u201338 (1997)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR53","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., Gabbrielli, M.: Infinite computations in concurrent constraint programming. Electr. Notes Theor. Comput. Sci.\u00a06 (1997)","DOI":"10.1016\/S1571-0661(05)80167-7"},{"issue":"1","key":"4_CR54","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1006\/inco.1999.2879","volume":"161","author":"F.S. Boer de","year":"2000","unstructured":"de Boer, F.S., Gabbrielli, M., Meo, M.C.: A timed concurrent constraint language. Inf. Comput.\u00a0161(1), 45\u201383 (2000)","journal-title":"Inf. Comput."},{"key":"4_CR55","unstructured":"De Maria, E., Dovier, A., Montanari, A., Piazza, C.: Exploiting model checking in constraint-based approaches to the protein folding. In: WCB 2006 (2006)"},{"key":"4_CR56","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"key":"4_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45607-4_5","volume-title":"Logic Based Program Synthesis and Transformation","author":"G. Delzanno","year":"2002","unstructured":"Delzanno, G., Etalle, S.: Proof theory, transformations, and logic programming for debugging security protocols. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol.\u00a02372, p. 76. Springer, Heidelberg (2002)"},{"key":"4_CR58","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1069774.1069794","volume-title":"PPDP 2005","author":"G. Delzanno","year":"2005","unstructured":"Delzanno, G., Gabbrielli, M., Meo, M.: A compositional semantics for CHR. In: PPDP 2005, pp. 209\u2013217. ACM, New York (2005)"},{"key":"4_CR59","doi-asserted-by":"crossref","unstructured":"Delzanno, G., Giacobazzi, R., Ranzato, F.: Analysis, Abstract Interpretation, and Verification in (Constraint Logic) Programming. In: Dovier, Pontelli [68], vol.\u00a06125, ch. 7, pp. 136\u2013158 (2010)","DOI":"10.1007\/978-3-642-14309-0_7"},{"key":"4_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-46584-7_6","volume-title":"Practical Aspects of Declarative Languages","author":"D. D\u00edaz","year":"2000","unstructured":"D\u00edaz, D., Codognet, P.: GNU Prolog: Beyond compiling Prolog to C. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, p. 81. Springer, Heidelberg (2000)"},{"key":"4_CR61","unstructured":"Dondossola, G., Ratto, E.: GRF temporal reasoning language. Technical report, CISE, Milano (1993)"},{"key":"4_CR62","doi-asserted-by":"crossref","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Multivalued action languages with constraints in CLP(FD). In: Dahl, Niemel\u00e4 [47], pp. 255\u2013270","DOI":"10.1007\/978-3-540-74610-2_18"},{"key":"4_CR63","doi-asserted-by":"crossref","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. J. Exp. Theor. Artif. Intell.\u00a021(2) (2009)","DOI":"10.1080\/09528130701538174"},{"key":"4_CR64","unstructured":"Dovier, A., Omodeo, E., Pontelli, E., Rossi, G.: {log}: A logic programming language with finite sets. In: ICLP, pp. 111\u2013124 (1991)"},{"issue":"5","key":"4_CR65","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":"4_CR66","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":"4_CR67","doi-asserted-by":"crossref","unstructured":"Dovier, A., Policriti, A., Rossi, G.: A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms. Fundam. Inform.\u00a036(2-3) (1998)","DOI":"10.3233\/FI-1998-36235"},{"key":"4_CR68","series-title":"Lecture Notes in Computer Science","volume-title":"25 Years of Logic Programming","year":"2010","unstructured":"Dovier, A., Pontelli, E. (eds.): 25 Years of Logic Programming. LNCS, vol.\u00a06125. Springer, Heidelberg (2010)"},{"key":"4_CR69","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-540-30227-8_6","volume-title":"Logics in Artificial Intelligence","author":"U. Endriss","year":"2004","unstructured":"Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 31\u201343. Springer, Heidelberg (2004)"},{"key":"4_CR70","doi-asserted-by":"crossref","unstructured":"Eremin, A., Wallace, M.: Hybrid Benders decomposition algorithms in constraint logic programming. In: Walsh [138], pp. 1\u201315","DOI":"10.1007\/3-540-45578-7_1"},{"issue":"3","key":"4_CR71","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/503502.503504","volume":"23","author":"S. Etalle","year":"2001","unstructured":"Etalle, S., Gabbrielli, M., Meo, M.: Transformations of CCP programs. ACM Trans. Program. Lang. Syst.\u00a023(3), 304\u2013395 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR72","unstructured":"Fahle, T., Schamberger, S., Sellman, M.: Symmetry breaking. In: Walsh [138]"},{"issue":"2","key":"4_CR73","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0304-3975(97)00328-9","volume":"183","author":"M. Falaschi","year":"1997","unstructured":"Falaschi, M., Gabbrielli, M., Marriott, K., Palamidessi, C.: Confluence in concurrent constraint programming. Theor. Comput. Sci.\u00a0183(2), 281\u2013315 (1997)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"4_CR74","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1006\/inco.1997.2638","volume":"137","author":"M. Falaschi","year":"1997","unstructured":"Falaschi, M., Gabbrielli, M., Marriott, K., Palamidessi, C.: Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Information and Computation\u00a0137(1), 41\u201367 (1997)","journal-title":"Information and Computation"},{"key":"4_CR75","first-page":"1185","volume-title":"CVPR","author":"M. Farenzena","year":"2006","unstructured":"Farenzena, M., Fusiello, A., Dovier, A.: Reconstruction with interval constraints propagation. In: CVPR, pp. 1185\u20131190. IEEE Computer Society, Los Alamitos (2006)"},{"key":"4_CR76","unstructured":"Festa, G., Sardu, G., Felici, R.: A decision support system for the Venice lagoon. In: Herold, A. (ed.) Handbook of parallel constraint logic programming applications (1995)"},{"key":"4_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-25951-0_10","volume-title":"Program Development in Computational Logic","author":"F. Fioravanti","year":"2004","unstructured":"Fioravanti, F., Pettorossi, A., Proietti, M.: Transformation rules for locally stratified constraint logic programs. In: Bruynooghe, M., Lau, K.-K. (eds.) Program Development in Computational Logic. LNCS, vol.\u00a03049, pp. 291\u2013339. Springer, Heidelberg (2004)"},{"key":"4_CR78","first-page":"137","volume-title":"Constraint and Integer Programming. Towards a Unified Methodology","author":"F. Focacci","year":"2003","unstructured":"Focacci, F., Laburthe, F., Lodi, A.: Local search and constraint programming: LS and CP illustrated on a transportation problem. In: Milano, M. (ed.) Constraint and Integer Programming. Towards a Unified Methodology, pp. 137\u2013167. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"4_CR79","doi-asserted-by":"crossref","unstructured":"Focacci, F., Milano, M.: Global cut framework for removing symmetries. In: Walsh [138], pp. 77\u201392","DOI":"10.1007\/3-540-45578-7_6"},{"key":"4_CR80","unstructured":"Focacci, F., Milano, M., Lodi, A.: Soving TSP with time windows with constraints. In: International Conference on Logic Programming, pp. 515\u2013529 (1999)"},{"issue":"10","key":"4_CR81","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1016\/j.artint.2006.03.002","volume":"170","author":"A. Frisch","year":"2006","unstructured":"Frisch, A., Hnich, B., K\u0131z\u0131ltan, Z., Miguel, I., Walsh, T.: Propagation algorithms for lexicographic ordering constraints. Artif. Int.\u00a0170(10), 803\u2013834 (2006)","journal-title":"Artif. Int."},{"key":"4_CR82","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. Journal of Logic Programming\u00a037, 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"4_CR83","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T., Di Pierro, A., Wiklicky, H.: An implementation of probabilistic constraint handling rules. In: Comini, M., Falaschi, M. (eds.) WFLP (2002)","DOI":"10.1016\/S1571-0661(04)80789-8"},{"issue":"2","key":"4_CR84","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1093\/logcom\/5.2.133","volume":"5","author":"M. Gabbrielli","year":"1995","unstructured":"Gabbrielli, M., Dore, G.M., Levi, G.: Observable semantics for constraint logic programs. J. Log. Comput.\u00a05(2), 133\u2013171 (1995)","journal-title":"J. Log. Comput."},{"key":"4_CR85","doi-asserted-by":"crossref","unstructured":"Gabbrielli, M., Palamidessi, C., Valencia, F.D.: Concurrent and Reactive Constraint Programming. In: Dovier, Pontelli [68], vol.\u00a06125, ch. 11, pp. 225\u2013248 (2010)","DOI":"10.1007\/978-3-642-14309-0_11"},{"key":"4_CR86","unstructured":"Gavanelli, M.: University timetabling in ECLiPSe. ALP Newsletter\u00a019(3) (2006)"},{"key":"4_CR87","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-642-02846-5_32","volume-title":"Logic Programming","author":"M. Gavanelli","year":"2009","unstructured":"Gavanelli, M., Alberti, M., Lamma, E.: Integration of abductive reasoning and constraint optimization in SCIFF. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 387\u2013401. Springer, Heidelberg (2009)"},{"key":"4_CR88","doi-asserted-by":"crossref","unstructured":"Gavanelli, M., Lamma, E., Mello, P., Milano, M.: Dealing with incomplete knowledge on CLP(FD) variable domains. ACM TOPLAS\u00a027(2) (2005)","DOI":"10.1145\/1057387.1057389"},{"key":"4_CR89","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-30200-1_3","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Gavanelli","year":"2004","unstructured":"Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An abductive framework for information exchange in multi-agent systems. In: Dix, J., Leite, J. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03259, pp. 34\u201352. Springer, Heidelberg (2004)"},{"key":"4_CR90","unstructured":"Gavanelli, M., Milano, M.: Cost-based filtering for determining the Pareto frontier. In: Junker, U., Kie\u00dfling, W. (eds.) Multidisciplinary Workshop on Advances in Preference Handling, in conjunction with ECAI 2006 (2006)"},{"key":"4_CR91","doi-asserted-by":"crossref","unstructured":"Gennari, R., Mich, O.: Constraint-based temporal reasoning for e-learning with LODE. In: Bessiere [21]","DOI":"10.1007\/978-3-540-74970-7_9"},{"key":"4_CR92","first-page":"599","volume-title":"ECAI","author":"I.P. Gent","year":"2000","unstructured":"Gent, I.P., Smith, B.M.: Symmetry breaking in constraint programming. In: Horn, W. (ed.) ECAI, pp. 599\u2013603. IOS Press, Amsterdam (2000)"},{"key":"4_CR93","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-49481-2_16","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"Y. Georget","year":"1998","unstructured":"Georget, Y., Codognet, P.: Compiling semiring-based constraints with clp(fd,s). In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520, p. 205. Springer, Heidelberg (1998)"},{"key":"4_CR94","doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Debray, S., Levi, G.: Generalized semantics and abstract interpretation for constraint logic programs. J. Log. Program.\u00a025(3) (1995)","DOI":"10.1016\/0743-1066(95)00038-0"},{"key":"4_CR95","doi-asserted-by":"crossref","unstructured":"Giordano, L., Toni, F.: Knowledge representation and non-monotonic reasoning. In: Dovier, Pontelli [68], vol.\u00a06125, ch. 5, pp. 86\u2013110 (2010)","DOI":"10.1007\/978-3-642-14309-0_5"},{"issue":"2","key":"4_CR96","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s10288-009-0101-4","volume":"7","author":"S. Gualandi","year":"2009","unstructured":"Gualandi, S., Malucelli, F.: Constraint programming-based column generation. 4OR: A Quarterly Journal of Operations Research\u00a07(2), 113\u2013137 (2009)","journal-title":"4OR: A Quarterly Journal of Operations Research"},{"issue":"4-5","key":"4_CR97","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10732-006-6550-4","volume":"12","author":"W.J. Hoeve Van","year":"2006","unstructured":"Van Hoeve, W.J., Pesant, G., Rousseau, L.-M.: On global warming: Flow-based soft global constraints. Journal of Heuristics\u00a012(4-5), 347\u2013373 (2006)","journal-title":"Journal of Heuristics"},{"key":"4_CR98","doi-asserted-by":"crossref","DOI":"10.1002\/9781118033036","volume-title":"Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction","author":"J. Hooker","year":"2000","unstructured":"Hooker, J.: Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction. John Wiley & Sons, Chichester (2000)"},{"key":"4_CR99","volume-title":"Proc. 14th symp. on Principles of programming languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: Proc. 14th symp. on Principles of programming languages. ACM, New York (1987)"},{"key":"4_CR100","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P., Yap, R.: The CLP(R) Language and System. ACM Transactions on Programming Languages and Systems (1992)","DOI":"10.1145\/129393.129398"},{"issue":"6","key":"4_CR101","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1993","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR102","unstructured":"Kakas, A.C., Mancarella, P.: On the relation between Truth Maintenance and Abduction. In: Fukumura, T. (ed.) PRICAI (1990)"},{"issue":"1-3","key":"4_CR103","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0743-1066(99)00075-8","volume":"44","author":"A.C. Kakas","year":"2000","unstructured":"Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive Constraint Logic Programming. Journal of Logic Programming\u00a044(1-3), 129\u2013177 (2000)","journal-title":"Journal of Logic Programming"},{"key":"4_CR104","unstructured":"Kakas, A.C., van Nuffelen, B., Denecker, M.: ${\\cal A}$ -System: Problem solving through abduction. In: Nebel, B. (ed.) Proc. of IJCAI 2001, pp. 591\u2013596 (2001)"},{"key":"4_CR105","doi-asserted-by":"crossref","unstructured":"Mackworth, A.: Consistency in networks of relations. Artif. Intell.\u00a08(1) (1977)","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"4_CR106","unstructured":"Majkic, Z.: Constraint logic programming and logic modality for event\u2019s valid-time approximation. In: 2nd Indian Int. Conf. on Artificial Intelligence (2005)"},{"key":"4_CR107","doi-asserted-by":"crossref","unstructured":"Mancarella, P., Terreni, G., Toni, F.: Web sites verification: An abductive logic programming tool. In: Dahl, Niemel\u00e4 [47]","DOI":"10.1007\/978-3-540-74610-2_33"},{"key":"4_CR108","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/11527862_12","volume-title":"Abstraction, Reformulation and Approximation","author":"T. Mancini","year":"2005","unstructured":"Mancini, T., Cadoli, M.: Detecting and breaking symmetries by reasoning on problem specifications. In: Zucker, J.-D., Saitta, L. (eds.) SARA 2005. LNCS (LNAI), vol.\u00a03607, pp. 165\u2013181. Springer, Heidelberg (2005)"},{"issue":"4","key":"4_CR109","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s10601-007-9028-6","volume":"13","author":"T. Mancini","year":"2008","unstructured":"Mancini, T., Micaletto, D., Patrizi, F., Cadoli, M.: Evaluating ASP and commercial solvers on the CSPLib. Constraints\u00a013(4), 407\u2013436 (2008)","journal-title":"Constraints"},{"key":"4_CR110","unstructured":"Manco, G., Turini, F.: A structural (meta-logical) semantics for linear objects. In: Alpuente, Sessa [5], pp. 421\u2013434"},{"key":"4_CR111","unstructured":"Mascardi, V., Merelli, E.: Agent-oriented and constraint technologies for distributed transaction management. In: Parenti, R., Masulli, F. (eds.) Proc. Int. ICSC Symposia IIA 1999 and SOCO 1999 (1999)"},{"key":"4_CR112","unstructured":"Merelli, E., De Leone, R., Martelli, M., Panti, M.: Embedding constraint logic programming formula in a local search algorithm for job shop scheduling. In: EURO XVI, Bruxelles (July 1998)"},{"key":"4_CR113","doi-asserted-by":"crossref","unstructured":"Meseguer, P., Rossi, F., Schiex, T.: Soft constraints. In: Rossi, et al [127]","DOI":"10.1016\/S1574-6526(06)80013-1"},{"issue":"1-2","key":"4_CR114","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0004-3702(01)00104-7","volume":"129","author":"P. Meseguer","year":"2001","unstructured":"Meseguer, P., Torras, C.: Exploiting symmetries within constraint satisfaction search. Artificial Intelligence\u00a0129(1-2), 133\u2013163 (2001)","journal-title":"Artificial Intelligence"},{"key":"4_CR115","doi-asserted-by":"crossref","unstructured":"Mesnard, F., Ruggieri, S.: On proving left termination of constraint logic programs. ACM Trans. Comput. Log.\u00a04(2) (2003)","DOI":"10.1145\/635499.635503"},{"key":"4_CR116","unstructured":"Mohr, R., Masini, G.: Good old discrete relaxation. In: ECAI (1988)"},{"key":"4_CR117","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Information Science\u00a07, 95\u2013132 (1974)","journal-title":"Information Science"},{"issue":"5","key":"4_CR118","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1109\/69.634755","volume":"9","author":"D. Montesi","year":"1997","unstructured":"Montesi, D., Bertino, E., Martelli, M.: Transactions and updates in deductive databases. IEEE Trans. Knowledge and Data Engineering\u00a09(5), 784\u2013797 (1997)","journal-title":"IEEE Trans. Knowledge and Data Engineering"},{"key":"4_CR119","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Stuckey, P., Becket, R., Brand, S., Duck, G., Tack, G.: MiniZinc: Towards a standard CP modelling language. In: Bessiere [21], pp. 529\u2013543","DOI":"10.1007\/978-3-540-74970-7_38"},{"key":"4_CR120","unstructured":"Novello, S.: ECLiPSe examples (1998), http:\/\/eclipse-clp.org\/examples\/golf.ecl.txt"},{"key":"4_CR121","unstructured":"Orlandini, A.: Model-based rescue robot control with ECLiPSe framework. In: Oddi, A., Cesta, A., Fages, F., Policella, N., Rossi, F. (eds.) CSCLP (2008)"},{"key":"4_CR122","doi-asserted-by":"crossref","unstructured":"Pettorossi, A., Proietti, M., Senni, V.: The Transformational Approach to Program Development. In: Dovier, Pontelli [68], vol.\u00a06125, ch. 6, pp. 111\u2013135 (2010)","DOI":"10.1007\/978-3-642-14309-0_6"},{"key":"4_CR123","doi-asserted-by":"crossref","unstructured":"Pierro, A.D., Wiklicky, H.: An operational semantics for probabilistic concurrent constraint programming. In: ICCL, pp. 174\u2013183 (1998)","DOI":"10.1109\/ICCL.1998.674168"},{"key":"4_CR124","unstructured":"Provetti, A., Rossi, G.: Action specifications in {log}. In: Falaschi, M., Navarro, M., Policriti, A. (eds.) APPIA-GULP-PRODE (1997)"},{"issue":"1","key":"4_CR125","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10707-006-0016-6","volume":"12","author":"A. Raffaet\u00e0","year":"2008","unstructured":"Raffaet\u00e0, A., Ceccarelli, T., Centeno, D., Giannotti, F., Massolo, A., Parent, C., Renso, C., Spaccapietra, S., Turini, F.: An application of advanced spatio-temporal formalisms to behavioural ecology. Geoinformatica\u00a012(1), 37\u201372 (2008)","journal-title":"Geoinformatica"},{"key":"4_CR126","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/3-540-45241-9_18","volume-title":"Practical Aspects of Declarative Languages","author":"A. Raffaet\u00e0","year":"2001","unstructured":"Raffaet\u00e0, A., Fr\u00fchwirth, T.W.: Spatio-temporal annotated constraint logic programming. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 259\u2013273. Springer, Heidelberg (2001)"},{"volume-title":"Handbook of Constraint Programming","year":"2006","key":"4_CR127","unstructured":"Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier, Amsterdam (2006)"},{"issue":"2","key":"4_CR128","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1002\/spe.749","volume":"37","author":"G. Rossi","year":"2007","unstructured":"Rossi, G., Panegai, E., Poleo, E.: JSetL: a Java library for supporting declarative programming in Java. Softw. Pract. Exper.\u00a037(2), 115\u2013149 (2007)","journal-title":"Softw. Pract. Exper."},{"key":"4_CR129","doi-asserted-by":"crossref","unstructured":"Ruttkay, Z.: Fuzzy constraint satisfaction. In: FUZZ-IEEE 1994, Orlando, FL (1994)","DOI":"10.1109\/FUZZY.1994.343640"},{"key":"4_CR130","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"2003","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (2003)"},{"issue":"1","key":"4_CR131","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1009845710839","volume":"4","author":"A. Schaerf","year":"1999","unstructured":"Schaerf, A.: Scheduling sport tournaments using constraint logic programming. Constraints\u00a04(1), 43\u201365 (1999)","journal-title":"Constraints"},{"key":"4_CR132","doi-asserted-by":"crossref","unstructured":"Schaerf, A.: A survey of automated timetabling. Artif. Intell. Review\u00a013(2) (1999)","DOI":"10.1023\/A:1006576209967"},{"key":"4_CR133","unstructured":"Schiex, T., Fargier, H., Verfaillie, G.: Valued constraint satisfaction problems: hard and easy problems. In: IJCAI 1995, pp. 631\u2013637 (1995)"},{"key":"4_CR134","doi-asserted-by":"crossref","unstructured":"Schulte, C., Stuckey, P.: Efficient constraint propagation engines. In: ToPLaS 2008 (2008)","DOI":"10.1145\/1452044.1452046"},{"key":"4_CR135","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT, Cambridge (1989)"},{"key":"4_CR136","unstructured":"van Hoeve, W.-J.: The all different constraint: a survey. In: Sixth Annual Workshop of the ERCIM Working Group on Constraints (2001)"},{"key":"4_CR137","doi-asserted-by":"crossref","unstructured":"Wallace, M.: Practical applications of constraint programming. Constraints (1996)","DOI":"10.1007\/BF00143881"},{"key":"4_CR138","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming - CP 2001","year":"2001","unstructured":"Walsh, T. (ed.): CP 2001. LNCS, vol.\u00a02239. Springer, Heidelberg (2001)"},{"issue":"3","key":"4_CR139","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1017\/S1471068407003237","volume":"8","author":"J. Wielemaker","year":"2008","unstructured":"Wielemaker, J., Huang, Z., Van der Meij, L.: SWI-Prolog and the web. Theory and Practice of Logic Programming\u00a08(3), 363\u2013392 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"4_CR140","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/11757375_23","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"A. Zanarini","year":"2006","unstructured":"Zanarini, A., Milano, M., Pesant, G.: Improved algorithm for the soft global cardinality constraint. In: Beck, J.C., Smith, B.M. (eds.) CPAIOR 2006. LNCS, vol.\u00a03990, pp. 288\u2013299. Springer, Heidelberg (2006)"},{"issue":"5","key":"4_CR141","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1017\/S1471068405002590","volume":"6","author":"N.-F. Zhou","year":"2006","unstructured":"Zhou, N.-F.: Programming finite-domain constraint propagators in action rules. Theory and Practice of Logic Programming\u00a06(5), 483\u2013507 (2006)","journal-title":"Theory and Practice of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","A 25-Year Perspective on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14309-0_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:51:00Z","timestamp":1606186260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14309-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642143083","9783642143090"],"references-count":141,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14309-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}