{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T23:46:25Z","timestamp":1648597585762},"reference-count":10,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2010,2,1]]},"DOI":"10.1093\/logcom\/exn068","type":"journal-article","created":{"date-parts":[[2008,11,21]],"date-time":"2008-11-21T01:43:55Z","timestamp":1227231835000},"page":"261-281","source":"Crossref","is-referenced-by-count":0,"title":["Reduced Implicate Tries with Updates"],"prefix":"10.1093","volume":"20","author":[{"given":"N. V.","family":"Murray","sequence":"first","affiliation":[]},{"given":"E.","family":"Rosenthal","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2008,11,20]]},"reference":[{"key":"2_29592245","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1145\/502090.502091","volume":"48","year":"2001","journal-title":"JOURNAL OF THE ACM"},{"key":"3_29342606","first-page":"229","volume":"17","year":"2002","journal-title":"JOURNAL OF AI RESEARCH"},{"key":"8_29342611","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0747-7171(08)80029-6","volume":"9","year":"1990","journal-title":"JOURNAL OF SYMBOLIC COMPUTATION"},{"key":"9_32673817","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1992.tb00335.x","volume":"8","year":"1992","journal-title":"COMPUTATIONAL INTELLIGENCE"},{"key":"10_32673818","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/321479.321481","volume":"15","year":"1968","journal-title":"JOURNAL OF THE ACM"},{"key":"12_32673819","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s10817-006-9054-x","volume":"38","year":"2007","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"15_29592249","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0004-3702(89)90067-2","volume":"38","year":"1989","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"16_29342614","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1023\/A:1005721905269","volume":"18","year":"1997","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"18_39758330","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1109\/T-C.1970.222917","volume":"C-19","year":"1970","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9340","issn-type":"print"},{"key":"19_32673821","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0885-064X(92)90033-8","volume":"8","year":"1992","journal-title":"JOURNAL OF COMPLEXITY"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/1\/261\/2801438\/exn068.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:02:11Z","timestamp":1503486131000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exn068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,20]]},"references-count":10,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2010,2,1]]},"published-print":{"date-parts":[[2010,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exn068","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,20]]}}}