{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T22:03:56Z","timestamp":1648937036512},"reference-count":8,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1988,11,1]],"date-time":"1988-11-01T00:00:00Z","timestamp":594345600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1988,11]]},"DOI":"10.1016\/0020-0190(88)90059-2","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:10:11Z","timestamp":1027656611000},"page":"191-198","source":"Crossref","is-referenced-by-count":2,"title":["Efficient backward execution in AND\/OR process model"],"prefix":"10.1016","volume":"29","author":[{"given":"Chan-Ik","family":"Park","sequence":"first","affiliation":[]},{"given":"Kyu Ho","family":"Park","sequence":"additional","affiliation":[]},{"given":"Myunghwan","family":"Kim","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0020-0190(88)90059-2_BIB1","article-title":"The AND\/OR Process Model for Parallel Interpretation of Logic Programs","volume":"204","author":"Conery","year":"1983"},{"key":"10.1016\/0020-0190(88)90059-2_BIB2","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/800223.806775","article-title":"Parallel interpretation of logic programs","author":"Conery","year":"1981","journal-title":"Proc. Conf. on Functional Programming Languages and Computer Architecture"},{"key":"10.1016\/0020-0190(88)90059-2_BIB3","first-page":"15","article-title":"Data-flow based execution mechanisms of parallel and concurrent Prolog","volume":"3","author":"Ito","year":"1985"},{"key":"10.1016\/0020-0190(88)90059-2_BIB4","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","article-title":"Algorithm = Logic+Control","volume":"22","author":"Kowalski","year":"1979","journal-title":"Comm. ACM"},{"key":"10.1016\/0020-0190(88)90059-2_BIB5","first-page":"55","article-title":"An intelligent backtracking algorithm for parallel execution of logic programs","author":"Lin","year":"1986","journal-title":"Proc. 3rd Internat. Conf. on Logic Programming"},{"key":"10.1016\/0020-0190(88)90059-2_BIB6","first-page":"168","article-title":"Stream-based execution of logic programs","author":"Lindstrom","year":"1984","journal-title":"Proc. 1984 Symp. on Logic Programming"},{"key":"10.1016\/0020-0190(88)90059-2_BIB7","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1145\/1067651.801673","article-title":"A parallel execution model of logic programs","author":"Umeyama","year":"1983","journal-title":"Proc. 10th Internat. Symp. on Computer Architecture"},{"key":"10.1016\/0020-0190(88)90059-2_BIB8","first-page":"200","article-title":"Selecting the backtrack literal in the AND\/OR process model","author":"Woo","year":"1986","journal-title":"Proc. 1986 Symp. on Logic Programming"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019088900592?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019088900592?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T16:54:37Z","timestamp":1555088077000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0020019088900592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,11]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1988,11]]}},"alternative-id":["0020019088900592"],"URL":"https:\/\/doi.org\/10.1016\/0020-0190(88)90059-2","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1988,11]]}}}