{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:08:42Z","timestamp":1725628122082},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168133"},{"type":"electronic","value":"9783642713880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71388-0_12","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:37:56Z","timestamp":1320215876000},"page":"137-150","source":"Crossref","is-referenced-by-count":1,"title":["Und-Parallelismus und Effizientes Backtracking Von Prolog-Prozeduren"],"prefix":"10.1007","author":[{"given":"Lutz","family":"Pl\u00fcmer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","first-page":"539","volume-title":"Parallelism in Logic Programs","author":"JS Conery","year":"1983","unstructured":"J. S. Conery, D. F. Kibler: \u201cAND Parallelism in Logic Programs\u201d, Proceedings 8th IJCAI, Karlsruhe, 1983, S. 539\u2013543."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"J. C. Conery, D. F. Kibler, \u201cAND Parallelism and Nondeterminism in Logic Programs\u201d, New Generation Computing, Vol. 3, No. 3, S. 43\u201370.","DOI":"10.1007\/BF03037115"},{"key":"12_CR3","volume-title":"Implementation of Prolog","author":"M Bruynooghe","year":"1984","unstructured":"M. Bruynooghe, L. M. Pereira: \u201cDeduction revision by intelligent backtracking\u201d, in: A. Campbell (Hrsg.): \u201cImplementation of Prolog\u201d, Ellis Horwood Limited, Chichester, 1984"},{"key":"12_CR4","first-page":"218","volume":"85","author":"J-H Chang","year":"1985","unstructured":"J-H. Chang, A. M. Despain, D. DeGroot: \u201cAND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis\u201d, Digest of Papers of COMPCOM Spring 85, 1985, S. 218\u2013225.","journal-title":"Digest of Papers of COMPCOM Spring"},{"key":"12_CR5","first-page":"10","volume-title":"Semi-Intelligent Backtracking of Prolog Based on a Static Data Dependency Analysis","author":"J-H Chang","year":"1985","unstructured":"J-H. Chang, A. M. Despain: \u201cSemi-Intelligent Backtracking of Prolog Based on a Static Data Dependency Analysis\u201d, 1985 Symposium on Logic Programming, Boston 1985, S. 10\u201321."},{"key":"12_CR6","volume-title":"Ein Vor\u00fcbersetzer und Meta-Interpreter f\u00fcr effizientes Backtracking von Prolog-Programmen, Diplomarbeit","author":"L Pl\u00fcmer","year":"1986","unstructured":"L. Pl\u00fcmer: \u201cEin Vor\u00fcbersetzer und Meta-Interpreter f\u00fcr effizientes Backtracking von Prolog-Programmen\u201d, Diplomarbeit, Universit\u00e4t Dortmund, Abteilung Informatik, 1986."},{"key":"12_CR7","volume-title":"Taking Advantage of stable sets of variables in constraint satisfaction problems","author":"E Freuder","year":"1985","unstructured":"E. Freuder, M. Quinn: \u201cTaking Advantage of stable sets of variables in constraint satisfaction problems\u201d, Proceedings 9th IJCAI, 1985."},{"key":"12_CR8","volume-title":"The Automatic Generation of Mode Declarations for Prolog Programs","author":"CS Mellish","year":"1981","unstructured":"C. S. Mellish: \u201cThe Automatic Generation of Mode Declarations for Prolog Programs\u201d, DAI Research Paper No. 163, University of Edinburgh, 1981."},{"key":"12_CR9","volume-title":"Planar 3-Colorability is Polynomial Complete","author":"L Stockmeyer","year":"1973","unstructured":"L. Stockmeyer: \u201cPlanar 3-Colorability is Polynomial Complete\u201d, SIGACT News, Vo. 5, Nr. 3, 1973."},{"key":"12_CR10","volume-title":"Graph Algorithms","author":"S Even","year":"1979","unstructured":"S. Even: \u201cGraph Algorithms\u201d, London, 1979."},{"key":"12_CR11","volume-title":"Introduction to Logic Programming","author":"CH Hogger","year":"1984","unstructured":"C. H. Hogger: \u201cIntroduction to Logic Programming\u201d, London, 1984."},{"issue":"2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"JW Lloyd","year":"1985","unstructured":"J. W. Lloyd, R. W. Topor: \u201cA Basis for Deductive Data Base Systems, Journal of Logic Programming, Vol. 2, Nr. 2, S. 93\u2013109, 1985.","journal-title":"Journal of Logic Programming"}],"container-title":["Informatik-Fachberichte","Informatik-Anwendungen \u2014 Trends und Perspektiven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71388-0_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T18:12:49Z","timestamp":1606241569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71388-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168133","9783642713880"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71388-0_12","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}