{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T08:50:11Z","timestamp":1762505411868},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1994,10,1]],"date-time":"1994-10-01T00:00:00Z","timestamp":780969600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1994,10]]},"DOI":"10.1007\/bf02943584","type":"journal-article","created":{"date-parts":[[2008,9,7]],"date-time":"2008-09-07T15:49:22Z","timestamp":1220802562000},"page":"373-381","source":"Crossref","is-referenced-by-count":5,"title":["Full or-parallemism and restricted And-parallelism in BTM"],"prefix":"10.1007","volume":"9","author":[{"given":"Yuhua","family":"Zheng","sequence":"first","affiliation":[]},{"given":"Li","family":"Xie","sequence":"additional","affiliation":[]},{"given":"Zhongxiu","family":"Sun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02943584_CR1","unstructured":"DeGroot D. Restricted And-parallelism. Proc of Int'l Conf on Fifth Generation Computer System, 1984, pp. 471\u2013478."},{"key":"BF02943584_CR2","doi-asserted-by":"crossref","unstructured":"DeGroot D. Restricted And-parallel execution of logic programs. In: Kowalik J S ed. Parallel Computation and Computer for AI, Kluwer Academic Publishers, 1988, pp. 91\u2013107.","DOI":"10.1007\/978-1-4613-1989-4_5"},{"key":"BF02943584_CR3","unstructured":"DeGroot D. Restricted And-parallelism and side effects. Proc of the Fourth Symp on Logic Programming, San Francisco CA, 1987, pp. 80\u201389."},{"key":"BF02943584_CR4","unstructured":"Yow-Jian Lin, Kumar V. Performance of And-parallel execution of logic programs on a shared-memory multi-processor. Proc Int'l Conf on Fifth Generation Computer Systems 1988, ICOT, pp, 851\u2013859."},{"key":"BF02943584_CR5","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1016\/0743-7315(88)90010-X","volume":"5","author":"D DeGroot","year":"1988","unstructured":"DeGroot D. A technique for compiling execution graph expressions for restricted And-parallelism in logic programs.Journal of Parallel and Distributed Computing, 1988, 5: 494\u2013516.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"BF02943584_CR6","doi-asserted-by":"crossref","unstructured":"Li P P, Martin A J. The Sync model: A parallel execution method for logic programming. 1986 Symp on Logic Programming.","DOI":"10.21236\/ADA442971"},{"key":"BF02943584_CR7","unstructured":"Ng K W, Leung H F. The competition model for parallel execution of logic programs. Proc Fifth Int'l Conf and Symp on Logic Programming, 1988."},{"key":"BF02943584_CR8","unstructured":"Kale L V. The REDUCE-Or process model for parallel evaluation of logic programs. Proc Fourth Int'l Conf on Logic Programming, 1987."},{"key":"BF02943584_CR9","unstructured":"Kale L V, Ramkumer B, Shu W. A memory organization independent binding environment for And-parallel execution of logic programs. Proc. Fifth Int'l Conf and Symp on Logic Programming, 1988."},{"key":"BF02943584_CR10","unstructured":"Biswas P, Su S-C, Yun D Y Y. A Scalable abstract machine model to support limited-Or(LOR)\/restricted-And parallelism (RAP) in logic programs. Proc Fifth Int'l Conf and Symp on Logic Programming, 1988."},{"key":"BF02943584_CR11","unstructured":"Biswas P, Tseng C C. A data-driven parallel execution model for logic programs. Proc Fifth Int'l Conf and Symp on Logic Programming, 1988."},{"key":"BF02943584_CR12","unstructured":"Westphal H, Robert P, Chassin J, Syre J. The PEPSys model: Combining backtracking, And-and Or-parallelism. Proc IEEE 4th Symp on Logic Programming, San Fransisco, 1987."},{"key":"BF02943584_CR13","unstructured":"Warren D H D. The SRI-model for Or-parallel execution of Prolog-abstract design and implementation. Proc IEEE 4th Symp on Logic Programming, San Fransisco, 1987."},{"key":"BF02943584_CR14","doi-asserted-by":"crossref","unstructured":"Lusk Eet al. The Aurora Or-parallel Prolog system.New Generation Computing, 1990, 7.","DOI":"10.1007\/BF03037208"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943584.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943584\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:16:22Z","timestamp":1558469782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943584"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,10]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,10]]}},"alternative-id":["BF02943584"],"URL":"https:\/\/doi.org\/10.1007\/bf02943584","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,10]]}}}