{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:50:21Z","timestamp":1752461421498},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_115","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:50:15Z","timestamp":1330210215000},"page":"395-406","source":"Crossref","is-referenced-by-count":7,"title":["Operational semantics of constraint logic programming over finite domains"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Hentenryck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Deville","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"33_CR1","unstructured":"W Buttner and al. A General Framework for Constraint Handling in Prolog. Technical report, Siemens Technical Report, 1988."},{"key":"33_CR2","unstructured":"A. Colmerauer. PROLOG II: Manuel de Reference et Modele Theorique. Technical report, GIA-Faculte de Sciences de Luminy, March 1982."},{"issue":"4","key":"33_CR3","first-page":"412","volume":"28","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer. An Introduction to Prolog III. CACM, 28(4):412\u2013418, 1990.","journal-title":"CACM"},{"key":"33_CR4","unstructured":"Y. Deville and P. Van Hentenryck. An Efficient Arc-Consistency Algorithm for a Class of CSP Problems. Technical Report CS-90-36, CS Department, Brown University, 1990."},{"key":"33_CR5","unstructured":"M. Dincbas, H. Simonis, and P. Van Hentenryck. Extending Equation Solving and Constraint Handling in Logic Programming. In MCC, editor, Colloquium on Resolution of Equations in Algebraic Structures (CREAS), Texas, May 1987."},{"key":"33_CR6","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In FGCS-88, Tokyo, Japan, 1988."},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J-L. Lassez. Constraint Logic Programming. In POPL-87, Munich, FRG, 1987.","DOI":"10.1145\/41625.41635"},{"key":"33_CR8","unstructured":"J. Jaffar and S. Michaylov. Methodology and Implementation of a CLP System. In ICLP-87, Melbourne, Australia, May 1987."},{"issue":"1","key":"33_CR9","first-page":"99","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth. Consistency in Networks of Relations. AI Journal, 8(1):99\u2013118, 1977.","journal-title":"AI Journal"},{"key":"33_CR10","first-page":"225","volume":"28","author":"R. Mohr","year":"1986","unstructured":"R. Mohr and T.C. Henderson. Arc and Path Consistency Revisited. AI Journal, 28:225\u2013233, 1986.","journal-title":"AI Journal"},{"key":"33_CR11","volume-title":"Negation and Control in Prolog","author":"L. Naish","year":"1985","unstructured":"L. Naish. Negation and Control in Prolog. PhD thesis, University of Melbourne, Australia, 1985."},{"key":"33_CR12","unstructured":"W. Older and A. Vellino. Extending Prolog with Constraint Arithmetics on Real Intervals. In Canadian Conference on Computer & Electrical Engineering, Ottawa, 1990."},{"key":"33_CR13","unstructured":"G.D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, CS Department, University of Aarhus, 1981."},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, 1989.","DOI":"10.1145\/96709.96733"},{"key":"33_CR15","unstructured":"P. Van Hentenryck. A Framework for Consistency Techniques in Logic Programming. In IJCAI-87, Milan, Italy, August 1987."},{"key":"33_CR16","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series, The MIT Press, Cambridge, MA, 1989."},{"key":"33_CR17","unstructured":"P. Van Hentenryck and Y. Deville. A new Logical Connective and its Application to Constraint Logic Programming. Technical Report CS-90-24, CS Department, Brown University, 1990."},{"key":"33_CR18","unstructured":"P. Voda. The Constraint Language Trilogy: Semantics and Computations. Technical report, Complete Logic Systems, North Vancouver, BC, Canada, 1988."},{"key":"33_CR19","unstructured":"C. Walinsky. CLP(\u03a3*). In ICLP-89, Lisbon, Portugal, 1989."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_115.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:35Z","timestamp":1605646475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_115","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}