{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:27Z","timestamp":1725664347265},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615514"},{"type":"electronic","value":"9783540706205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61551-2_114","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:56:51Z","timestamp":1330275411000},"page":"557-558","source":"Crossref","is-referenced-by-count":0,"title":["A local simplification scheme for cc programs"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Sch\u00e4chter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"53_CR1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol.: The chemical abstract machine. Theoretical Computer Science, 96 (217\u2013248), 1992.","journal-title":"Theoretical Computer Science"},{"key":"53_CR2","unstructured":"Roberto Giacobazzi, Giorgio Levi, and Enea Zaffanella.: Abstracting synchronization in concurrent constraint programming. In Proc. of PLILP'94, 1994."},{"key":"53_CR3","unstructured":"Vincent Schachter.: cc and Task Intervals. Technical report, LIENS, 1995."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61551-2_114.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:34:18Z","timestamp":1619559258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61551-2_114"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615514","9783540706205"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/3-540-61551-2_114","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}