{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:03Z","timestamp":1749124083740},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581567"},{"type":"electronic","value":"9783540484677"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58156-1_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:22:37Z","timestamp":1330269757000},"page":"484-498","source":"Crossref","is-referenced-by-count":8,"title":["A novel asynchronous parallelism scheme for first-order logic"],"prefix":"10.1007","author":[{"given":"David B.","family":"Sturgill","sequence":"first","affiliation":[]},{"given":"Alberto Maria","family":"Segre","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren's Abstract Machine","author":"H. A\u00cft-Kaci","year":"1991","unstructured":"H. A\u00cft-Kaci, Warren's Abstract Machine, The MIT Press, Cambridge, Massachusetts, 1991."},{"key":"35_CR2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-94-011-3488-0_2","volume-title":"Automated Reasoning, Essays in Honor of Woody Bledsoe","author":"O. L. Astrachan","year":"1991","unstructured":"O.L. Astrachan and D.W. Loveland, \u201cMETEORs: High Performance Theorem Provers using Model Elimination,\u201d in Automated Reasoning, Essays in Honor of Woody Bledsoe, Boyer, R. S.(ed.), Kluwer Academic Publishers, Boston, 1991, pp. 31\u201359."},{"key":"35_CR3","first-page":"65","volume-title":"Implementations of Distributed Prolog","author":"M. Avvenuti","year":"1992","unstructured":"M. Avvenuti, P. Corsini and G. Frosini, \u201cA Distributed Interpreter for Inherent AND\/OR Parallelism,\u201d in Implementations of Distributed Prolog, Kacsuk, P., and Wise, M.J.(eds.), John Wiley & Sons, Chichester, England, 1992, pp. 65\u201387."},{"issue":"1","key":"35_CR4","first-page":"386","volume":"32","author":"W. F. Clocksin","year":"1989","unstructured":"W.F. Clocksin, \u201cPrinciples of the DelPhi Parallel Inference Machine,\u201d Computer Journal, 32:1, (1989), pp. 386\u2013392.","journal-title":"Computer Journal"},{"key":"35_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1987-0","volume-title":"Parallel Execution of Logic Programs","author":"J. S. Conery","year":"1987","unstructured":"J.S. Conery, Parallel Execution of Logic Programs, Kluwer Academic Publishers, Boston, 1987."},{"issue":"1","key":"35_CR6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1093\/comjnl\/32.1.29","volume":"32","author":"P. Corsini","year":"1990","unstructured":"P. Corsini, G. Frosini and G. Speranza, \u201cThe Parallel Interpretation of Logic Programs in Distributed Architectures,\u201d Computer Journal, 32:1, (1990), pp. 29\u201335.","journal-title":"Computer Journal"},{"key":"35_CR7","unstructured":"D. DeGroot, \u201cRestricted AND-Parallelism,\u201d Proceedings of the International Conference on Fifth Generation Computer Systems, November, 1984, pp. 471\u2013478."},{"key":"35_CR8","first-page":"3","volume-title":"Implementations of Distributed Prolog","author":"S. A. Delgado-Rannauro","year":"1992","unstructured":"S.A. Delgado-Rannauro, \u201cOR-Parallel Logic Computational Models,\u201d in Implementations of Distributed Prolog, Kacsuk, P., and Wise, M.J.(eds.), John Wiley & Sons, Chichester, England, 1992, pp. 3\u201326."},{"key":"35_CR9","unstructured":"C. Elkan, \u201cConspiracy Numbers and Caching for Searching And\/Or Trees and Theorem-Proving,\u201d Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, August 1989, pp. 341\u2013346."},{"key":"35_CR10","unstructured":"V. Kumar and Y-J. Lin, \u201cAn Intelligent Backtracking Scheme for Prolog,\u201d Proceedings of the IEEE Symposium on Logic Programming, August 1987, pp. 406\u2013414."},{"key":"35_CR11","unstructured":"F. Kurfe\\, \u201cPotentiality of Parallelism in Logic,\u201d Parallelization in Inference Systems, Dagstuhl Castle, Germany, December 1990, pp. 3\u201325."},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"J. Schumann and R. Letz, \u201cPARTHEO: A High-Performance Parallel Theorem Prover,\u201d 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July, 1990, pp. 40\u201356.","DOI":"10.1007\/3-540-52885-7_78"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"A.M. Segre and C. Elkan, \u201cA High Performance Explanation-Based Learning Algorithm,\u201d Artificial Intelligence, (To appear, 1994).","DOI":"10.1016\/0004-3702(94)90077-9"},{"key":"35_CR14","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF00881901","volume":"11","author":"A. M. Segre","year":"1993","unstructured":"A.M. Segre and D. Scharstein, \u201cBounded-Overhead Caching for Definite-Clause Theorem Proving,\u201d Journal of Automated Reasoning, 11, (1993), pp. 83\u2013113.","journal-title":"Journal of Automated Reasoning"},{"key":"35_CR15","unstructured":"A.M. Segre and D.B. Sturgill, \u201cUsing Hundreds of Workstations to Solve First-Order Logic Problems,\u201d Proceedings of the Twelfth National Conference on Artificial Intelligence, To appear, July 1994."},{"key":"35_CR16","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00297245","volume":"4","author":"M. E. Stickel","year":"1988","unstructured":"M.E. Stickel, \u201cA Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler,\u201d Journal of Automated Reasoning, 4, (1988), pp. 353\u2013380.","journal-title":"Journal of Automated Reasoning"},{"key":"35_CR17","volume-title":"Parallel Logic Programming","author":"E. Tick","year":"1991","unstructured":"E. Tick, Parallel Logic Programming, The MIT Press, Cambridge, Massachusetts, 1991."},{"key":"35_CR18","volume-title":"Technical Note 309","author":"D. H. D. D. Warren","year":"1983","unstructured":"D.H.D. Warren, An Abstract Prolog Instruction Set, Technical Note 309, SRI International, Menlo Park, California, October 1983."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 CADE-12"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58156-1_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:54Z","timestamp":1619572314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58156-1_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581567","9783540484677"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-58156-1_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}