{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T05:50:10Z","timestamp":1761630610326},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591559"},{"type":"electronic","value":"9783540492009"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59155-9_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:04:30Z","timestamp":1330275870000},"page":"90-107","source":"Crossref","is-referenced-by-count":46,"title":["Constraint handling rules"],"prefix":"10.1007","author":[{"given":"Thom","family":"Fr\u00fchwirth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"unstructured":"Andreoli J.-M. and Pareschi R., Linear Objects: Logical Processes with Built-In Inheritance, Seventh Intl Conf on Logic Programming MIT Press 1990, pp. 495\u2013510.","key":"6_CR1"},{"key":"6_CR2","volume-title":"ECLiPSe 3.4 Extensions User Manual","author":"P. Brisset","year":"1994","unstructured":"P. Brisset et al., ECLiPSe 3.4 Extensions User Manual, ECRC Munich, Germany, July 1994."},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J.-P. Banatre","year":"1988","unstructured":"Banatre J.-P., Coutant A. and Le Metayer D., A Parallel Machine for Multiset Transformation and its Programming Style, Future Generation Computer Systems 4:133\u2013144, 1988.","journal-title":"Future Generation Computer Systems"},{"key":"6_CR4","first-page":"263","volume-title":"Constraint Logic Programming Language CAL","author":"A. Aiba","year":"1988","unstructured":"Aiba A. et al, Constraint Logic Programming Language CAL, Int Conf on Fifth Generation Computer Systems, 1988, Ohmsha Publishers, Tokyo, pp. 263\u2013276."},{"issue":"1","key":"6_CR5","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/35043.35045","volume":"31","author":"J. Cohen","year":"1988","unstructured":"J. Cohen, A View of the Origins and Development of Prolog, CACM 31(1):26\u201336, Jan. 1988.","journal-title":"CACM"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"R. Dechter, I. Meiri and J. Pearl, Temporal Constraint Networks, Journal of Artificial Intelligence 49:61\u201395, 1991.","journal-title":"Journal of Artificial Intelligence"},{"issue":"1+2","key":"6_CR7","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0747-7171(87)80022-6","volume":"3","author":"N. Dershowitz","year":"1987","unstructured":"N. Dershowitz, Termination of Rewriting, Journal of Symbolic Computation, 3(1+2):69\u2013116, 1987.","journal-title":"Journal of Symbolic Computation"},{"unstructured":"T. Fr\u00fchwirth, Constraint Simplification Rules, Technical Report ECRC-92-18, ECRC Munich, Germany, July 1992 (revised version of Internal Report ECRC-LP-63, October 1991), available by anonymous ftp from ftp.ecrc.de, directory pub\/ECRC_tech_reports\/reports, file ECRC-92-18.ps.Z.","key":"6_CR8"},{"doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth, A. Herold, V. K\u00fcchenhoff, T. Le Provost, P. Lim, E. Monfroy and M. Wallace. Constraint Logic Programming \u2014 An Informal Introduction, Chapter in Logic Programming in Action, Springer LNCS 636, September 1992. Also Technical Report ECRC-93-05, ECRC Munich, Germany, February 1993.","key":"6_CR9","DOI":"10.1007\/3-540-55930-2_2"},{"unstructured":"T. Fr\u00fchwirth, Entailment Simplification and Constraint Constructors for User-Defined Constraints, Workshop on Constraint Logic Programming, Marseille, France, March 1993.","key":"6_CR10"},{"key":"6_CR11","volume-title":"Abstract, ICLP 93","author":"T. Fr\u00fchwirth","year":"1993","unstructured":"T. Fr\u00fchwirth, User-Defined Constraint Handling, Abstract, ICLP 93, Budapest, Hungary, MIT Press, June 1993."},{"unstructured":"T. Fr\u00fchwirth, Temporal Reasoning with Constraint Handling Rules, Technical Report ECRC-94-05, ECRC Munich, Germany, February 1994 (first published as CORE-93-08, January 1993), available by anonymous ftp from ftp.ecrc.de, directory pub\/ECRC_tech_reports\/reports, file ECRC-94-05.ps.Z.","key":"6_CR12"},{"unstructured":"T. Fr\u00fchwirth and P. Hanschke, Terminological Reasoning with Constraint Handling Rules, Chapter in Principles and Practice of Constraint Programming (P. Van Hentenryck and V.J. Saraswat, Eds.), MIT Press, to appear. Revised version of Technical Report ECRC-94-06, ECRC Munich, Germany, February 1994, available by anonymous ftp from ftp.ecrc.de, directory pub\/ECRC_tech_reports\/reports, file ECRC-94-06.ps.Z.","key":"6_CR13"},{"key":"6_CR14","volume-title":"Ph.D. Thesis","author":"T. Graf","year":"1989","unstructured":"T. Graf, Raisonnement sur les contraintes en programmation en logique, Ph.D. Thesis, Version of June 1989 Universite de Nice, France, September 1989 (in French)."},{"unstructured":"S. Haridi and S. Janson, Kernel Andorra Prolog and its Computation Model, Seventh International Conference on Logic Programming, MIT Press, 1990, pp. 31\u201346.","key":"6_CR15"},{"unstructured":"Eine homogene Implementierungsebene fuer einen hybriden Wissensreprae-sentationsformalismus, Master Thesis, in German, University of Kaiserslautern, Germany, April 1993.","key":"6_CR16"},{"issue":"3","key":"6_CR17","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar et al., The CLP(R) Language and System, ACM Transactions on Programming Languages and Systems, Vol. 14:3, July 1992, pp. 339\u2013395.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"S. Janson and S. Haradi, Programming Paradigms of the Andorra Kernel Language, in Saraswat, Vijay and Ueda, Kazunori, editors, Logic Programming, Proceedings of the 1991 International Symposium, pp. 167\u2013186. MIT Press, 1991.","key":"6_CR18"},{"doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez, Constraint Logic Programming, ACM 14th POPL 87, Munich, Germany, January 1987, pp. 111\u2013119.","key":"6_CR19","DOI":"10.1145\/41625.41635"},{"key":"6_CR20","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19,20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher, Constraint Logic Programming: A Survey, Journal of Logic Programming, 1994:19,20:503\u2013581.","journal-title":"Journal of Logic Programming"},{"unstructured":"C. Kirchner and H. Kirchner, Rewriting: Theory and Applications, Working paper for a D.E.A. lecture at the University of Nancy I, France, 1989.","key":"6_CR21"},{"unstructured":"V. A. Saraswat, Concurrent Constraint Programming Languages, Ph.D. Dissertation, Carnegie Mellon Univ., Draft of Jan. 1989.","key":"6_CR22"},{"key":"6_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. A. Saraswat","year":"1993","unstructured":"V. A. Saraswat, Concurrent Constraint Programming, MIT Press, Cambridge, 1993."},{"issue":"3","key":"6_CR24","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"E. Shapiro, The Family of Concurrent Logic Programming Languages, ACM Computing Surveys, 21(3):413\u2013510, September 1989.","journal-title":"ACM Computing Surveys"},{"doi-asserted-by":"crossref","unstructured":"G. Smolka, Residuation and Guarded Rules for Constraint Logic Programming, in F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research, pages 405\u2013419. MIT Press, 1993.","key":"6_CR25","DOI":"10.1007\/978-3-322-95233-2_24"},{"key":"6_CR26","volume-title":"Constraint satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck, Constraint satisfaction in Logic Programming, MIT Press Cambridge, 1989."},{"issue":"3","key":"6_CR27","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1017\/S0269888900005798","volume":"6","author":"P. Hentenryck van","year":"1991","unstructured":"P. van Hentenryck, Constraint Logic Programming, The Knowledge Engineering Review, Vol 6:3, 1991, pp 151\u2013194.","journal-title":"The Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","Constraint Programming: Basics and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59155-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:22:56Z","timestamp":1619572976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59155-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591559","9783540492009"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-59155-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}