{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:54Z","timestamp":1725663234575},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168119"},{"type":"electronic","value":"9783540448563"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16811-7_173","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:04:03Z","timestamp":1330178643000},"page":"214-221","source":"Crossref","is-referenced-by-count":1,"title":["A packet based demand\/data driven reduction model for the parallel execution of logic programs"],"prefix":"10.1007","author":[{"given":"Matthew K. O.","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"26_CR1","volume-title":"Proceedings of the International Conference on Fifth Generation Systems","author":"Moto-oka","year":"1982","unstructured":"Moto-oka et al, Challenge for Knowledge Information-Processing Systems, Proceedings of the International Conference on Fifth Generation Systems, North-Holland, Amsterdam, 1982."},{"key":"26_CR2","volume-title":"Programming in PROLOG","author":"W. F. Clocksin","year":"1981","unstructured":"Clocksin, W. F. and Mellish, C. S.,\u2019 Programming in PROLOG', Springer-Verlag, Berlin, 1981."},{"key":"26_CR3","volume-title":"Logic for Problem Solving","author":"R. A. Kowalski","year":"1979","unstructured":"Kowalski, R. A., Logic for Problem Solving, Elsevier-North Holland, New York, 1979."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Robinson, J. A., A Machine-oriented Logic based on the Resolution Principle, Journal of the ACM(12), PP.23\u201341, 1965.","DOI":"10.1145\/321250.321253"},{"key":"26_CR5","series-title":"Technical Report","volume-title":"The AND\/OR Process Model for Parallel Interpretation of Logic Programs","author":"J. S. Conery","year":"1983","unstructured":"Conery, J. S., The AND\/OR Process Model for Parallel Interpretation of Logic Programs, Technical Report 204, University of California, Irvine, June 1983."},{"key":"26_CR6","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/3-540-06859-7_145","volume":"19","author":"J. B. Dennis","year":"1974","unstructured":"Dennis, J. B., First Version of a Data Flow Procedure Language, in Lecture Notes in Computer Science, Vol.19, pp.362\u2013376, Springer-Verlag, 1974.","journal-title":"Lecture Notes in Computer Science"},{"key":"26_CR7","unstructured":"Gurd, J. R. and Watson, I., Preliminary Evaluation of a Prototype Dataflow Computer, Proceedings of IFIP 83, Sept 1983."},{"issue":"1","key":"26_CR8","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/356869.356873","volume":"14","author":"P. C. Treleaven","year":"1982","unstructured":"Treleaven, P. C., Brownbridge, D. R., and Hopkins, R. C., Data-Driven and Demand-Driven Computer Architecture, ACM Computing Surveys, 14(1), pp.93\u2013143, March 1982.","journal-title":"ACM Computing Surveys"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Darlington, J. and Reeve, M., ALICE: A Multiprocessor Reduction Machine for the Parallel Evaluation of Applicative Languages, Proceedings of the 1981 ACM Conference on Functional Programming and Computer Architecture.","DOI":"10.1145\/800223.806764"},{"key":"26_CR10","unstructured":"Bundy, A.,\u2019 The Computer Modelling of Mathematical Reasoning', Academic Press, 1983."},{"key":"26_CR11","unstructured":"Watson, I., Watson, P., and Woods, V., Parallel Data-Driven Graph Reduction, Proceedings of IFIP 85, Sept. 1985."},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Lee, M.K.O., A Packet Based Demand\/Data Driven Reduction Model for the Parallel Execution of Logic Programs, Internal Working Paper, Declarative Systems Group, Dept. of Computer Science, The University, Manchester, April, 1986.","DOI":"10.1007\/3-540-16811-7_173"},{"issue":"8","key":"26_CR13","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"Hoare, C. A. R., Communicating Sequential Process, Communication of ACM 21(8), pp.666\u2013677, 1978.","journal-title":"Communication of ACM"}],"container-title":["Lecture Notes in Computer Science","CONPAR 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16811-7_173.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:11:57Z","timestamp":1605625917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16811-7_173"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168119","9783540448563"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-16811-7_173","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}