{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T23:54:29Z","timestamp":1648684469852},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1992,2,1]],"date-time":"1992-02-01T00:00:00Z","timestamp":696902400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1992,2]]},"DOI":"10.1007\/bf01379315","type":"journal-article","created":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T22:56:31Z","timestamp":1112396191000},"page":"67-107","source":"Crossref","is-referenced-by-count":2,"title":["A join algorithm for combining AND parallel solutions in AND\/OR parallel systems"],"prefix":"10.1007","volume":"21","author":[{"given":"Balkrishna","family":"Ramkumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laxmikant V.","family":"Kal\ufffd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"L. V. Kal\u00e9, The REDUCE-OR Process Model for the Parallel Evaluation of Logic Programs,Int'l. Conf. on Logic Programming, pp. 616?632 (May 1987)."},{"key":"CR2","unstructured":"W. Fenton, B. Ramkumar, V. A. Saletore, A. B. Sinha, and L. V. Kal\u00e9, Supporting Machine Independent Programing on Diverse Parallel Architectures,Int'l. Conf. on Parallel Processing (August 1991)."},{"key":"CR3","unstructured":"L. V. Kal\u00e9, The Chare Kernel Parallel Programming System,Int'l. Conf. on Parallel Processing (August 1990)."},{"key":"CR4","unstructured":"M. Hermenegildo and F. Rossi, On the Correctness and Efficiency of Independent AND Parallelism in Logic Programs,No. Amer. Conf. on Logic Programming, pp. 369?389 (October 1989)."},{"key":"CR5","unstructured":"L. V. Kal\u00e9, B. Ramkumar, and W. Shu, A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs,The 5th Int'l. Conf.\/Symp. on Logic Programming, pp. 1223?1240 (August 1988)."},{"key":"CR6","unstructured":"B. Ramkumar and L. V. Kal\u00e9, Compiled Execution of the REDUCE-OR Process Model on Multiprocessors,No. Amer. Conf. on Logic Programming (October 1989)."},{"key":"CR7","unstructured":"S. Haridi and P. Brand, ANDORRA Prolog: An Integration of Prolog and Committed Choice Languages,Int'l. Conf. on Fifth Generation Computer Systems, pp. 745?754 (November 1988)."},{"key":"CR8","unstructured":"D. H. D. Warren, The Extended Andorra Model with Implicit Control,Workshop on Parallel Logic Programming at the Int'l. Conf. on Logic Programming (June 1990)."},{"key":"CR9","unstructured":"G. Gupta and D. H. D. Warren, An Interprefer for the Extended Andorra Model,Workshop on Parallel Execution of Logic Programs at the No. Amer. Conf. on Logic Programming (October 1990)."},{"key":"CR10","unstructured":"S. Haridi and S. Jansen, Kernel Andorra Prolog and Its Computation Model,Int'l. Conf. on Logic Programming, pp. 31?48 (June 1990)."},{"key":"CR11","volume-title":"A Parallel Execution Model for Logic Programming","author":"P. P. Li","year":"1986","unstructured":"P. P. Li, A Parallel Execution Model for Logic Programming. PhD Thesis, Department of Computer Science, California Institute of Technology, Pasadena, California (April 1986)."},{"key":"CR12","unstructured":"V. Singh and M. R. Genesereth, PM: A Parallel Execution Model for Backward-Chaining Deductions, Technical Report KSL-85-18, Department of Computer Science, Stanford University (May 1985)."},{"key":"CR13","unstructured":"P. Biswas and C.-C. Tseng, A Data-Driven Parallel Execution Model for Logic Programs,Int'l. Conf. on Logic Programming, pp. 1204?1222 (August 1988)."},{"key":"CR14","unstructured":"J. S. Conery, Binding Environments for Parallel Logic Programs in Nonshared Memory Multiprocessors,Symp. on Logic Programming, pp. 457?467 (September 1987)."},{"key":"CR15","unstructured":"M. J. Wise,Prolog Multiprocessors, Prentice Hall, International Edition (1986)."},{"key":"CR16","unstructured":"J. C. de Kergommeaux and P. Robert, An Abstract Machine to Implement Efficiently OR-AND Parallel Prolog,Int'l. Conf. on Logic Programming (August 1988). Addendum to proceedings."},{"key":"CR17","unstructured":"P. Borgwardt, Parallel Prolog Using Stack Segments on Shared-Memory Multiprocessors,Symp. on Logic Programming (February 1984)."},{"key":"CR18","unstructured":"G. Gupta and B. Jayaraman, Compiled AND-OR Parallelism on Shared Memory Multiprocessors,No. Amer. Conf. on Logic Programming, pp. 332?349 (October 1989)."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"D. S. Warren, Efficient Prolog Memory Management for Flexible Control Strategies,Symp. on Logic Programming (February 1984).","DOI":"10.1007\/BF03037327"},{"key":"CR20","unstructured":"D. DeGroot, Restricted AND Parallelism,Int'l. Conf. on Fifth Generation Computer Systems, pp. 471?478 (November 1984)."},{"key":"CR21","unstructured":"M. V. Hermenegildo, An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. PhD Thesis, Department of Computer Science, University of Texas at Austin (1986)."},{"key":"CR22","unstructured":"M. Hermenegildo, Using Semaphores to Generalize CGEs. (Personal comunication)."},{"key":"CR23","first-page":"485","volume-title":"Introduction to Algorithms","author":"R. L. Rivest","year":"1991","unstructured":"R. L. Rivest, T. H. Cormen, and C. E. Leiserson,Introduction to Algorithms, McGraw Hill, Englewoods-Cliffs, New Jersey, pp. 485?488 (1991)."},{"key":"CR24","unstructured":"B. Ramkumar, Machine Independent ?AND? and ?OR? Parallel Execution of Logic Programs. PhD thesis, Department of Computer Science, University of Illinois at Urbana-Champaign (1991)."},{"key":"CR25","unstructured":"L. V. Kal\u00e9, ?Completeness? and ?Full Parallelism? of Parallel Logic Programming Schemes,Symp. on Logic Programming, pp. 125?133 (September 1987)."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"S. K. Debray, N-W. Lin, and M. Hermenegildo, Task Granularity Analysis in Logic Programs,ACM SIGPLAN-90 Conf. on Programming Language Design and Implementation. AlsoSIGPLAN Notices Vol. 25, No. 6 (October 1990).","DOI":"10.1145\/93548.93564"},{"key":"CR27","unstructured":"K. Muthukumar and M. Hermenegildo, The DCG, UDG, and MEL Methods for Automatic Compile-Time Parallelization of Logic Programs for Independent And-Parallelism,Int'l. Conf. on Logic Programming, pp. 221?236 (June 1990)."},{"key":"CR28","unstructured":"K. A. Hamburg, Graph Analysis, Determinacy Analysis, and Annotations for Parallel Execution of Logic Programs. Master's Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign (August 1988)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01379315.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01379315\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01379315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T16:17:21Z","timestamp":1586189841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01379315"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,2]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,2]]}},"alternative-id":["BF01379315"],"URL":"https:\/\/doi.org\/10.1007\/bf01379315","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,2]]}}}