{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:11Z","timestamp":1725663911713},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571865"},{"type":"electronic","value":"9783540479451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57186-8_86","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:14:38Z","timestamp":1330258478000},"page":"291-301","source":"Crossref","is-referenced-by-count":6,"title":["An OR parallel Prolog model for distributed memory systems"],"prefix":"10.1007","author":[{"given":"V.","family":"Benjumea","sequence":"first","affiliation":[]},{"given":"J. M.","family":"Troya","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"20_CR1","unstructured":"Ali, K. Karlsson, R. \u201cThe Muse Or-Parallel Prolog Model and its Performance\u201d. NACLP 90. pp 757\u2013776."},{"key":"20_CR2","unstructured":"Baron, U. Ratcliffe, M. Syre, J. \u201cThe Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results\u201d. Proc. Int. Conf. on Fith Gen. Comp. Sys. 1988. ICOT 1988."},{"key":"20_CR3","unstructured":"Ciepielewski, A. Haridi, S. \u201cA formal model for OR parallel execution of logic programs\u201d. IFIP 1983."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Conery, J.S. \u201cAND Paralelism and Nondeterminism in Logic Programs\u201d. New Generation Computing. 1985.","DOI":"10.1007\/BF03037115"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Kaesuk, P. \u201cA Parallel Prolog Abstract Machine and its Multi-Transputer Implementation\u201d. The Computer Journal, Vol 34, No. 1. 1991.","DOI":"10.1093\/comjnl\/34.1.52"},{"key":"20_CR6","unstructured":"Lusk, E. Warren, D. Haridi, S. \u201cThe Aurora Or-Parallel Prolog System\u201d. University of Bristol. TR-90-07."},{"key":"20_CR7","unstructured":"Warren, D.H.D. \u201cAn Abstract Prolog Instruction Set\u201d. Technical Note 309, SRI International, 1983."},{"key":"20_CR8","unstructured":"Warren, D.H.D. \u201cOr-Parallel Execution Models of Prolog\u201d, TAPSOFT '87, Springer Verlag, LNCS 250."},{"key":"20_CR9","unstructured":"Warren, D.H.D. \u201cThe SRI-model for Or-Parallel Execution of Prolog \u2014 Abstract Design and Implementation Issues\u201d. 1987 IEEE Int. Symp. in Logic Prog., San Francisco."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Zhang, K. Thomas, R. \u201cDIALOG \u2014 A dataflow model for parallel execution of logic programs\u201d. Future Generation Computer Systems. North Holland 1991.","DOI":"10.1016\/0167-739X(91)90006-J"},{"key":"20_CR11","unstructured":"Tick, E. \u201cParallel Logic Programming\u201d. The MIT Press.1991."}],"container-title":["Lecture Notes in Computer Science","Progamming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57186-8_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:05Z","timestamp":1605647345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57186-8_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571865","9783540479451"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-57186-8_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}