{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:31Z","timestamp":1725663451578},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:40:31Z","timestamp":1330195231000},"page":"289-300","source":"Crossref","is-referenced-by-count":1,"title":["An and-parallel execution model of logic programs"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Schwinn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Barth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"22_CR1","unstructured":"Arvind, Gostelow K.P., Plouffe W.: An Asynchronous Programming Language and Computing Machine, DCS Report 114A, University of California, Irvine, Dec. 1978."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Arvind, Gostelow K.P.: The U-Interpreter, IEEE Computer, pp. 42\u201349, Feb. 1982.","DOI":"10.1109\/MC.1982.1653940"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Clark K.L., Gregory S.: A Relational Language for Parallel Programming, Research Report of Imperial College of Science and Technology, Dec 81\/16, July 1981.","DOI":"10.1145\/800223.806776"},{"key":"22_CR4","unstructured":"Clark K.L., Gregory S.: PARLOG: A Parallel Logic Programming Language, Research Report DOC 83\/5, Imperial College, March 1983."},{"key":"22_CR5","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"Clocksin W.F., Mellish C.S.: Programming in Prolog, Springer Verlag, Berlin 1981."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Conery J.S., Kibler D.F.: Parallel Interpretation of Logic Programs, Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, pp. 163\u2013167, October 1981.","DOI":"10.1145\/800223.806775"},{"key":"22_CR7","unstructured":"De Groot D.: Restricted AND Parallelism, Proceedings of the International Conference on Fifth Gerenation Computer Systems, ICOT, 1984."},{"key":"22_CR8","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/3-540-06859-7_145","volume":"19","author":"D. J.B","year":"1974","unstructured":"Dennis J.B.: First Version of a Data-Flow Procedure Language, Lecture Notes in Computer Science, Vol. 19, pp. 362\u2013376, Springer-Verlag, 1974.","journal-title":"Lecture Notes in Computer Science"},{"key":"22_CR9","first-page":"38","volume-title":"Prolog Interpreter Based on Concurrent Progamming","author":"K. Furukawa","year":"1982","unstructured":"Furukawa K., Nitta K., Matsumoto Y.: Prolog Interpreter Based on Concurrent Progamming, Proceedings of the First International Logic Programming Conference, Marseille, France, pp. 38\u201341, September 1982."},{"key":"22_CR10","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BF03037114","volume":"3","author":"N. Ito","year":"1985","unstructured":"Ito N., Schimizu H.: Data Flow Based Execution Mechanisms of Parallel and Concurrent Prolog, New Generation Computing 3, pp. 15\u201341, 1985.","journal-title":"New Generation Computing"},{"key":"22_CR11","unstructured":"Kowalski R.: Logic for Problem Solving, North Holland, 1979."},{"key":"22_CR12","unstructured":"Shapiro E.Y.: A Subset of Concurrent Prolog and its Interpreter, ICOT Techn. Report, TR 003, Feb. 1983."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Umeyama S., Tamura K.: A Parallel Execution Model of Logic Programs, The 10th Annual International Symposium on Computer Architecture, ACM, pp. 349\u2013355, June 1983.","DOI":"10.1145\/1067651.801673"},{"key":"22_CR14","volume-title":"A Parallel Prolog: The Construction of a Data Driven Model","author":"M. Wise","year":"1982","unstructured":"Wise M.: A Parallel Prolog: The Construction of a Data Driven Model, University of New South Wales, Australia, 1982."}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:05Z","timestamp":1605643805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}