{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T02:34:37Z","timestamp":1714876477841},"reference-count":13,"publisher":"Elsevier","isbn-type":[{"value":"9780934613408","type":"print"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"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":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1016\/b978-0-934613-40-8.50022-1","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T16:04:28Z","timestamp":1404230668000},"page":"699-709","source":"Crossref","is-referenced-by-count":0,"title":["Converting AND-Control to OR-Control by Program Transformation"],"prefix":"10.1016","author":[{"given":"M.H.","family":"van Emden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Szeredi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib1","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","article-title":"A Transformation System for Developing Recursive Programs","volume":"24","author":"Burstall","year":"1977","journal-title":"Journal of the ACM"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib2","doi-asserted-by":"crossref","unstructured":"Clark, K.L. and Gregory, S. [1981] A Relational Language for Parallel Programming, Proceedings of the ACM Conference on Functional Languages and Computer Architecture.","DOI":"10.1145\/800223.806776"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","article-title":"Parallel Programming in Logic","volume":"8","author":"Clark","year":"1986","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib4","series-title":"Expert Systems","article-title":"The Control Facilities of IC-Prolog","author":"Clark","year":"1979"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib5","series-title":"Prolog II Reference Manual and Theoretical Model, Internal report, Groupe Intelligence Artificielle","author":"Colmerauer","year":"1982"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib6","series-title":"Predicate Logic as a Language for Parallel Programming","author":"Emden","year":"1979"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib7","series-title":"Logic Programming","first-page":"189","article-title":"Predicate Logic as a Language for Parallel Programming","author":"Emden","year":"1982"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib8","series-title":"Towards the Compilation of Annotated Logic Programs","author":"Gregory","year":"1980"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib9","series-title":"Parallel Logic Programming in PARLOG","author":"Gregory","year":"1987"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib10","unstructured":"Kahn, G. and McQueen, D.B. [1977] Co-routines and Networks of Parallel Processes, Proceedings IFIP 1977, 993\u2013998"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib11","series-title":"The MU-Prolog 3.2 Reference Manual","author":"Naish","year":"1983"},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib12","unstructured":"Shapiro, E.Y. [1983] A Subset of Concurrent Prolog and Its Interpreter, ICOT Technical Report TR-003."},{"key":"10.1016\/B978-0-934613-40-8.50022-1_bib13","unstructured":"Ueda, K. [1985] Guarded Horn Clauses, ICOT Technical report TR-103."}],"container-title":["Foundations of Deductive Databases and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780934613408500221?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780934613408500221?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,2]],"date-time":"2018-10-02T02:22:50Z","timestamp":1538446970000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780934613408500221"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9780934613408"],"references-count":13,"URL":"https:\/\/doi.org\/10.1016\/b978-0-934613-40-8.50022-1","relation":{},"subject":[],"published":{"date-parts":[[1988]]}}}