{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T18:22:04Z","timestamp":1746728524079,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1109\/hicss.1996.495516","type":"proceedings-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T22:28:04Z","timestamp":1040682484000},"page":"646-655 vol.1","source":"Crossref","is-referenced-by-count":5,"title":["Distributing AND-work and OR-work in parallel logic programming systems"],"prefix":"10.1109","author":[{"given":"I.D.C.","family":"Dutra","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Technical Report","year":"0","key":"ref4b"},{"key":"ref4a","first-page":"289","article-title":"Strategies for Scheduling And- and Or-Work in Parallel Logic Programming Systems","author":"dutra","year":"1994","journal-title":"Proceedings of the 1994 International Symposium on Logic Programming"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037217"},{"key":"ref11","article-title":"Optimization Techniques for nondeterministic promotion in the Andorra Kernel Language","author":"moolenaar","year":"1993","journal-title":"Proceedings of the Compulog-Net"},{"journal-title":"Compile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I","year":"1993","author":"costa","key":"ref12"},{"journal-title":"Andorra-I User's Guide and reference manual","year":"1990","author":"costa","key":"ref13"},{"key":"ref14","first-page":"92","article-title":"The SRI Model for Or-Parallel Execution of Prolog?Abstract Design and Implementation Issues","author":"warren","year":"1987","journal-title":"Proc 1987 Symp on Logic Programming"},{"key":"ref15","article-title":"The Andorra model","author":"warren","year":"1988","journal-title":"Presented at Gigalips Project workshop"},{"key":"ref16","article-title":"The Extended Andorra Model with Implicit Control","author":"warren","year":"1990","journal-title":"ICLP'90 Workshop on Parallel Logic Programming"},{"key":"ref17","first-page":"113","article-title":"Solving simple substitution ciphers in Andorra-I","author":"yang","year":"1989","journal-title":"Proc Sixth Int l Conf Logic Programming"},{"key":"ref18","first-page":"150","article-title":"Performance of the Compiler-Based Andorra-I System","author":"yang","year":"1993","journal-title":"Proceedings of the Tenth International Conference on Logic Programming"},{"key":"ref19","first-page":"825","article-title":"The Andorra-I Engine: A parallel implementation of the Basic Andorra model","author":"yang","year":"1991","journal-title":"Proceedings of the Eighth International Conference on Logic Programming"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1991.218246"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-55038-0_11","article-title":"ACE: And\/Or-parallel Copying-based Execution of Logic Programs","volume":"569","author":"gupta","year":"1991","journal-title":"ICLP'91 Pre-Conference Workshop on Parallel Execution of Logic Programs"},{"journal-title":"Distributing And- and Or- Work in the Andorra-I Parallel Logic Programming System","year":"1995","author":"dutra","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55599-4_114"},{"key":"ref7","first-page":"152","article-title":"IDIOM: Integrating Dependent and-, Independent and-, Or-parallelism","author":"gupta","year":"1991","journal-title":"Proc 1991 Int l Symp Logic Programming"},{"journal-title":"The Abstract Machine and Implementation of Parallel Parlog","year":"1990","author":"crammond","key":"ref2"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-54152-7_77","article-title":"Flexible Scheduling of Or-Parallelism in Aurora: The Bristol Scheduler","volume":"2","author":"beaumont","year":"1991","journal-title":"PARLE91 Conference on Parallel Architectures and Languages Europe"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037208"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/98457.98760"}],"event":{"name":"Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences","start":{"date-parts":[[1996,1,3]]},"location":"Wailea, HI, USA","end":{"date-parts":[[1996,1,6]]}},"container-title":["Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/3511\/10445\/00495516.pdf?arnumber=495516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,11]],"date-time":"2020-03-11T22:21:47Z","timestamp":1583965307000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/495516\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/hicss.1996.495516","relation":{},"subject":[],"published":{"date-parts":[[1996]]}}}