{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:31Z","timestamp":1725664291843},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:53:01Z","timestamp":1330253581000},"page":"308-323","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Sleepers: a versatile high-level control mechanism"],"prefix":"10.1007","author":[{"given":"Christian","family":"Codognet","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Codognet","sequence":"additional","affiliation":[]},{"given":"Vincenzo","family":"Loia","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Quaggetto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"Num.2","key":"22_CR1","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/spe.4380230202","volume":"23","author":"V. Loia","year":"1993","unstructured":"V. Loia and M. Quaggetto. High level management of computation history for the design and implementation of a Prolog system. Sofware-Practice and Experiences, Vol. 23, Num. 2, pp. 119\u2013150, 1993.","journal-title":"Sofware-Practice and Experiences"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat. Concurrent Constraint Programming, MIT Press, 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"L. Monteiro and A. Porto. Contextual Logic Programming. In 6th International Conference on Logic Programming, pp. 284\u2013299, 1989. newblock MIT Press, 1989.","DOI":"10.1016\/0743-1066(89)90018-6"},{"key":"22_CR4","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming, MIT Press, 1989."},{"issue":"Num.6","key":"22_CR5","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1145\/3812.3814","volume":"2","author":"P. J. Cortois","year":"1985","unstructured":"P.J. Cortois. On the time and space decomposition of complex structures. Communications of the ACM, vol. 2, Num. 6, pp. 590\u2013603, June 1985.","journal-title":"Communications of the ACM"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"P. Maes. Computational Reflexion. TR-87-2, V.U.B. AI-LAB, 1987.","DOI":"10.1007\/978-3-642-73005-4_27"},{"key":"22_CR7","unstructured":"D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI International, 1983."},{"key":"22_CR8","unstructured":"R. O'Keefe. Towards an Algebra for Constructing Logic Programs. 1985 Symposium on Logic Programming, IEEE Computer Society Press"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"D. Miller. A theory of modules for logic programming. In 1986 International Symposium on Logic Programming, pp. 106\u2013114, 1986.","DOI":"10.1007\/3-540-16492-8_94"},{"issue":"Num.2","key":"22_CR10","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0096-0551(93)90014-R","volume":"18","author":"E. Lamma","year":"1993","unstructured":"E. Lamma, P. Melllo, and G. Rossi. Parametric Composable Modules in a Logic programming language. Computer Languages, Vol. 18, Num. 2, pp. 105\u2013123, 1993.","journal-title":"Computer Languages"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.L. Lassez. Constraint Logic Programming. In Principles Of Programming Languages, Munich, 1987.","DOI":"10.1145\/41625.41635"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"A. Colmerauer. An introduction to Prolog-III. Communications of the ACM, 33 (7), July 1990.","DOI":"10.1145\/79204.79210"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"A. K. Macworth. Consistency in Networks of Relations. Artificial Intelligence, 8 (1977).","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"22_CR14","unstructured":"P. Van Hentenryck, V. Saraswat and Y. Deville. Constraint processing in cc(FD). Draft, 1991."},{"key":"22_CR15","unstructured":"D. Diaz and P. Codognet. A minimal extension of the WAM for clp(fd). In International Conference on Logic Programming, Budapest, 1993"},{"key":"22_CR16","volume-title":"Freeze, indexing and other issues on the WAM","author":"M. Carlsson","year":"1987","unstructured":"M. Carlsson. Freeze, indexing and other issues on the WAM. In 4th International Conference on Logic Programming, Melbourne, Australia, MIT Press 1987."},{"key":"22_CR17","unstructured":"P. Codognet, F. Fages and T. Sola. A metalevel compiler of CLP(FD) and its combination with IB. In Constraint Logic Programming: Selected Research, F. Benhamou and A. Colmerauer (Eds.), MIT Press 1993."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:58:58Z","timestamp":1640915938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"28 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}