{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:33Z","timestamp":1725456213460},"publisher-location":"Berlin\/Heidelberg","reference-count":4,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012841","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:12:39Z","timestamp":1132708359000},"page":"333-343","source":"Crossref","is-referenced-by-count":2,"title":["Exploitation of parallelism in prototypical deduction problems"],"prefix":"10.1007","author":[{"given":"Ralph M.","family":"Butler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas T.","family":"Karonis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Portable Programs for Parallel Processors","author":"B. Jim","year":"1987","unstructured":"Jim Boyle, Ralph Butler, Terry Disz, B. Glickfeld, E. L. Lusk, R. A. Overbeek, J. Patterson, and R. Stevens, Portable Programs for Parallel Processors, Holt, Rinehart, and Winston, New York, New York (1987)."},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"M. Davis and H. Putnam, \u201cA computing procedure for quantification theory,\u201d Journal of the ACM\n7, pp. 201\u2013215 (1960).","journal-title":"Journal of the ACM"},{"issue":"1","key":"22_CR3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02575007","volume":"36","author":"E. L. Lusk","year":"1987","unstructured":"Ewing L. Lusk and Robert B. McFadden, \u201cUsing Automated Reasoning Tools: A Study of the Semigroup F2B2,\u201d Semigroup Forum\n36(1), pp. 75\u201388 (1987).","journal-title":"Semigroup Forum"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0898-1221(76)90002-X","volume":"2","author":"J. McCharen","year":"1976","unstructured":"J. McCharen, R. Overbeek, and L. Wos, \u201cComplexity and related enhancements for automated theorem-proving programs,\u201d Computers and Mathematics with Applications\n2, pp. 1\u201316 (1976).","journal-title":"Computers and Mathematics with Applications"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012841.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T10:06:41Z","timestamp":1607335601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012841"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/bfb0012841","relation":{},"subject":[]}}