{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:32Z","timestamp":1761597332000},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575290"},{"type":"electronic","value":"9783540482116"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"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":[[1993]]},"DOI":"10.1007\/3-540-57529-4_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:05:41Z","timestamp":1330261541000},"page":"193-204","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On the semantics of optimization predicates in CLP languages"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"S. Ganguly, S. Greco, C. Zaniolo, \u201cMinimum and maximum predicates in logic programming\u201d. Proc. of PODS'91, Denver, pp. 154\u2013163. 1991.","DOI":"10.1145\/113413.113427"},{"key":"15_CR2","unstructured":"D.B. Kemp, P.J. Stuckey, \u201cSemantics of logic programs with aggregates\u201d, Proc. of ILPS'91, San Diego, pp.387\u2013401. 1991."},{"issue":"3","key":"15_CR3","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"K. Kunen, \u201cNegation in logic programming\u201d, Journal of Logic Programming, 4(3), pp.289\u2013308, 1987.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"15_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"K. Kunen, \u201cSigned data dependencies in logic programming\u201d, Journal of Logic Programming, 7(3), pp.231\u2013245, 1989.","journal-title":"Journal of Logic Programming"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J.L. Lassez, \u201cConstraint Logic Programming\u201d, Proc. of POPL'87, Munich. 1987.","DOI":"10.1145\/41625.41635"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd, \u201cFoundations of Logic Programming\u201d, Springer Verlag. 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"15_CR7","unstructured":"P. Stuckey, \u201cConstructive negation for constraint logic programming\u201d, Proc. LICS'91, 1991."},{"key":"15_CR8","unstructured":"P. Van Hentenryck: \u201dConstraint Satisfaction in Logic Programming\u201d, MIT Press 1989."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57529-4_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:19:35Z","timestamp":1558268375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57529-4_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575290","9783540482116"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-57529-4_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}