{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T00:03:12Z","timestamp":1752451392367,"version":"3.41.2"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[1999,5]]},"DOI":"10.1023\/a:1009842826135","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T18:53:29Z","timestamp":1040583209000},"page":"133-165","source":"Crossref","is-referenced-by-count":32,"title":["Confluence and Semantics of Constraint Simplification Rules"],"prefix":"10.1007","volume":"4","author":[{"given":"Slim","family":"Abdennadher","sequence":"first","affiliation":[]},{"given":"Thom","family":"Fr\u00fchwirth","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Meuss","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"205044_CR1","volume-title":"Third International Conference on Principles and Practice of Constraint Programming, CP97","author":"S. Abdennadher","year":"1997","unstructured":"Abdennadher, S. (1997). Operational semantics and confluence of constraint propagation rules. In Third International Conference on Principles and Practice of Constraint Programming, CP97 LNCS, Springer."},{"key":"205044_CR2","volume-title":"Analyse von regelbasierten Constraintl\u00f6sern","author":"S. Abdennadher","year":"1998","unstructured":"Abdennadher, S. (1998). Analyse von regelbasierten Constraintl\u00f6sern. PhD thesis, Computer Science Institute, LMU Munich (in German)."},{"key":"205044_CR3","volume-title":"ECLiPSe 3.4 User Manual","author":"A. Aggoun","year":"1994","unstructured":"Aggoun, A., Chan, D., Dufrense, P., Falvey, E., Grant, H., Herold, A., Macartney, G., Maier, M., Miller, D., Perez, B., van Rossum, E., Schimpf, J., Tsahageas, P., & de Villeneuve, D. (1994). ECLiPSe 3.4 User Manual. ECRC Munich."},{"key":"205044_CR4","doi-asserted-by":"crossref","unstructured":"Abdennadher, A. & Fr\u00fchwirth, T. (1998). On completion of constraint handling rules. Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming (CP'98), LNCS 1520, Springer.","DOI":"10.1007\/3-540-49481-2_4"},{"key":"205044_CR5","doi-asserted-by":"crossref","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., & Meuss, H. (1996). On confluence of constraint handling rules. In E. Freuder, editor, Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP96 LNCS 1118, Springer.","DOI":"10.1007\/3-540-61551-2_62"},{"key":"205044_CR6","doi-asserted-by":"crossref","first-page":"1279","DOI":"10.1145\/183432.183526","volume":"16","author":"H. A\u00cft-Kaci","year":"1994","unstructured":"A\u00cft-Kaci, H. & Podelski, A. (1994). Functions as passive constraints in LIFE. ACM Transactions on Programming Languages and Systems 16:1279\u20131318.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"205044_CR7","first-page":"525","volume-title":"LogicProgramming\u00b7Proceedings of the 1993 International Symposium","author":"P. Codnognet","year":"1993","unstructured":"Codnognet, P. & Diaz, D. (1993). Boolean constraint solving using clp(FD). In Dale Miller, editor, LogicProgramming\u00b7Proceedings of the 1993 International Symposium, 525\u2013539, Vancouver, Canada, MIT Press."},{"key":"205044_CR8","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/S0743-1066(96)00013-1","volume":"30","author":"M. Codish","year":"1997","unstructured":"Codish, M., Falaschi, M., Marriott, K., & Winsborough, W. (1997). A confluent semantic basis for the analysis of concurrent constraint logic programs. Journal of Logic Programming 30:53\u201381.","journal-title":"Journal of Logic Programming"},{"key":"205044_CR9","first-page":"293","volume-title":"Logic and Databases","author":"K. Clark","year":"1978","unstructured":"Clark, K. (1978). Logic and Databases 293\u2013322, Plenum Press, New York."},{"key":"205044_CR10","doi-asserted-by":"crossref","unstructured":"Dershowitz, N., Okada, N., & Sivakumar, G. (1988). Confluence of conditional rewrite systems. In J.-P. Jouannaud and S. Kaplan, editors, Proceedings of the 1st International Workshop on Conditional Term Rewriting Systems LNCS 308:31\u201344.","DOI":"10.1007\/3-540-19242-5_3"},{"key":"205044_CR11","doi-asserted-by":"crossref","unstructured":"Falaschi, M. Gabbrielli, M. Marriott, K., & Palamidessi, C. (1995). Confluence in concurrent constraint programming. In V.S. Alagar and M. Nivat, editors, Proceedings of AMAST '95 LNCS 936, Springer.","DOI":"10.1007\/3-540-60043-4_76"},{"key":"205044_CR12","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T., Herold, A., K\u00fcchenhoff, V., Le Provost, T., Lim, P., Monfroy, E., & Wallace, M. (1992). Constraint logic programming: An informal introduction. In G. Comyn, N. E. Fuchs, and M. J. Ratcliffe, editors, Logic Programming in Action. LNCS 636:3\u201335, Springer.","DOI":"10.1007\/3-540-55930-2_2"},{"key":"205044_CR13","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T. (1995). Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and Trends. LNCS 910, Springer.","DOI":"10.1007\/3-540-59155-9_6"},{"key":"205044_CR14","volume-title":"A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T. (1998). A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules. Habilitation, Computer Science Institute, LMU Munich."},{"key":"205044_CR15","doi-asserted-by":"crossref","unstructured":"Haridi, S., Janson, S.,& Palamidessi, C. (1992). Structural operational semantics of AKL. Future Generation Computer Systems.","DOI":"10.1016\/0167-739X(92)90072-J"},{"key":"205044_CR16","doi-asserted-by":"crossref","unstructured":"Jaffar, J. & Lasseq, J.-L. (1987). Constraint logic programming. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages 111\u2013119.","DOI":"10.1145\/41625.41635"},{"key":"205044_CR17","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J. & Maher, M. J. (1994). Constraint logic programming: A survey. Journal of Logic Programming 20:503\u2013581.","journal-title":"Journal of Logic Programming"},{"key":"205044_CR18","unstructured":"Kirchner, C. & Kirchner, H. (1991). Rewriting: Theory and Applications. North-Holland."},{"key":"205044_CR19","unstructured":"Maher, M. J. (1987). Logic semantics for a class of committed-choice programs. In J.-L. Lassez, editor, Proceedings of the Fourth International Conference on Logic Programming 858\u2013876, MIT Press."},{"key":"205044_CR20","volume-title":"Implementation eines Konfluenz-Tests f\u00a8ur CSR-Programme","author":"M. Marte","year":"1996","unstructured":"Marte, M. (1996). Implementation eines Konfluenz-Tests f\u00a8ur CSR-Programme. Advanced practical thesis, Institute of Computer Science, LMU Munich."},{"key":"205044_CR21","volume-title":"Konfluenz von Constraint-Handling-Rules-Programmen","author":"H. Meuss","year":"1996","unstructured":"Meuss, H. (1996). Konfluenz von Constraint-Handling-Rules-Programmen. Master's thesis, Institute of Computer Science, LMU Munich."},{"key":"205044_CR22","doi-asserted-by":"crossref","unstructured":"Marriott, K. & Odersky, M. (1995). A confluent calculus for concurrent constraint programming with guarded choice. In 1st International Conference on Principles and Practice of Constraint Programming, CP95 310\u2013327, Springer.","DOI":"10.1007\/3-540-60299-2_19"},{"key":"205044_CR23","doi-asserted-by":"crossref","unstructured":"Marriott, K. & Stuckey, P. (1998). Programming with Constraints: An Introduction. MIT Press.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"205044_CR24","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2307\/1968867","volume":"43","author":"M. H. A. Newman","year":"1942","unstructured":"Newman, M. H. A. (1942). On theories with a combinatorial definition of equivalence. In Annals of Math, 43:223\u2013243.","journal-title":"Annals of Math"},{"key":"205044_CR25","first-page":"273","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. A. Plaisted","year":"1993","unstructured":"Plaisted, D. A. (1993). Equational reasoning and term rewriting systems. In D. Gabbay, C. Hogger, J. A. Robinson, and J. Siekmann, editiors, Handbook of Logic in Artificial Intelligence and Logic Programming 1:273\u2013364, Oxford University Press, Oxford."},{"key":"205044_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. A. Saraswat","year":"1993","unstructured":"Saraswat, V. A. (1993). Concurrent Constraint Programming MIT Press, Cambridge."},{"key":"205044_CR27","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E. (1989). The family of concurrent logic programming languages. ACM Computing Surveys 21:413\u2013510.","journal-title":"ACM Computing Surveys"},{"key":"205044_CR28","doi-asserted-by":"crossref","unstructured":"Smolka, G. (1991). Residuation and guarded rules for constraint logic programming. In Digital Equipment Paris Research Laboratory Research Report, France.","DOI":"10.1007\/978-3-322-95233-2_24"},{"key":"205044_CR29","doi-asserted-by":"crossref","unstructured":"Saraswat, V. A., Rinard, & Panangaden, P. The semantic foundations of concurrent constraint programming. In Conference Record of the 18th Annual ACM Symposium on Principles of Programming Languages 333\u2013352, ACM Press.","DOI":"10.1145\/99583.99627"},{"key":"205044_CR30","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1017\/S0269888900005798","volume":"6","author":"P. van Hentenryck","year":"1991","unstructured":"van Hentenryck, P. (1991). Constraint logic programming. The Knowledge Engineering Review 6:151\u2013194.","journal-title":"The Knowledge Engineering Review"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009842826135.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009842826135\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009842826135.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:57:37Z","timestamp":1752379057000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009842826135"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["205044"],"URL":"https:\/\/doi.org\/10.1023\/a:1009842826135","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}