{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:00:47Z","timestamp":1760061647458},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100096"},{"type":"electronic","value":"9783540381402"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10009-1_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:04:07Z","timestamp":1330189447000},"page":"97-109","source":"Crossref","is-referenced-by-count":6,"title":["Simplifying interpreted formulas"],"prefix":"10.1007","author":[{"given":"D. W.","family":"Loveland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. E.","family":"Shostak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"9_CR1","volume-title":"Theory and Design of Digital Machines","author":"T. C. Bartee","year":"1962","unstructured":"Bartee, T. C., Lebow, J. L., Reed, I. S., Theory and Design of Digital Machines, McGraw-Hill, New York (1962)."},{"key":"9_CR2","unstructured":"Loveland, D. W., Shostak, R. E., \"Simplifying Interpreted Expressions,\" to appear as SRI and IBM technical reports."},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"1417","DOI":"10.1002\/j.1538-7305.1956.tb03835.x","volume":"35","author":"E. J. McCluskey","year":"1956","unstructured":"McCluskey, E. J., \"Minimization of Boolean Functions,\" Bell System Tech. Journal, Vol. 35, pp. 1417\u20131444 (Nov. 1956).","journal-title":"Bell System Tech. Journal"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1080\/00029890.1952.11988183","volume":"59","author":"W. V. Quine","year":"1952","unstructured":"Quine, W. V., \"The Problem of Simplifying Truth Functions,\" Am. Math. Monthly, Vol. 59, pp. 521\u2013531 (Oct. 1952).","journal-title":"Am. Math. Monthly"},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1080\/00029890.1959.11989404","volume":"66","author":"W. V. Quine","year":"1959","unstructured":"Quine, W. V., \"On Cores and Prime Implicants of Truth Functions,\" Am. Math. Monthly, Vol. 66, pp. 755\u2013760 (Nov. 1959).","journal-title":"Am. Math. Monthly"},{"key":"9_CR6","unstructured":"Samson, E. W., and Mills, B. E., \"Circuit Minimization: Algebra and Algorithm for New Boolean Canonical Expressions,\" AFCRC-TR-56-110, Cambridge, Massachusetts (1954)."}],"container-title":["Lecture Notes in Computer Science","5th Conference on Automated Deduction Les Arcs, France, July 8\u201311, 1980"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10009-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:33:32Z","timestamp":1619555612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10009-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100096","9783540381402"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-10009-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}