{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:45Z","timestamp":1725455925474},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"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":[[1991]]},"DOI":"10.1007\/bfb0018459","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:30:30Z","timestamp":1132619430000},"page":"454-471","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs"],"prefix":"10.1007","author":[{"given":"Amir","family":"Rahat","sequence":"first","affiliation":[]},{"given":"Nissim","family":"Francez","sequence":"additional","affiliation":[]},{"given":"Oded","family":"Shmueli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"30_CR1","unstructured":"Krzysztof R. Apt. Introduction to logic programming. Technical Report TR-87-35 (Revised and extended version), Computer science dept., U. of Texas, Austin, July 1988."},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"M. Carlton and P. van Roy. A distributed prolog system with and parallelism. IEEE Software, January 1988.","DOI":"10.1109\/52.1993"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"30_CR4","unstructured":"David Maier and David S. Warren. Computing with logic (Logic programming with Prolog). Benjamin\/Cummings, 1988."},{"key":"30_CR5","unstructured":"Amir Rahat, Nissim Francez, and Oded Shmueli. Sdp: sequential, distributed logic programming. In Proc IFIP W.G. 10.1 working group on concepts and characterisitcs of declarative systems, North-Holland, October, 1988."},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Vijay A. Saraswat. The concurrent logic programming language cp: definition and operational semantics. In 14th ACM-POPL, January 1987.","DOI":"10.1145\/41625.41630"},{"issue":"3","key":"30_CR7","first-page":"412","volume":"21","author":"E. Shapiro","year":"1990","unstructured":"Ehud Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):412\u2013510, September 1990.","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018459","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:07:27Z","timestamp":1558256847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018459"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0018459","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}