{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T20:33:41Z","timestamp":1649104421725},"reference-count":11,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2011,2,1]]},"DOI":"10.1093\/jigpal\/jzq003","type":"journal-article","created":{"date-parts":[[2010,2,27]],"date-time":"2010-02-27T20:13:38Z","timestamp":1267301618000},"page":"62-86","source":"Crossref","is-referenced-by-count":2,"title":["Propositional proof compressions and DNF logic"],"prefix":"10.1093","volume":"19","author":[{"given":"L.","family":"Gordeev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. H.","family":"Haeusler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. C.","family":"Pereira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2010,2,26]]},"reference":[{"key":"2_36689710","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/978-3-540-79228-4_28","volume":"4978","year":"2008","journal-title":"Lecture Notes in Computer Science","ISSN":"http:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"3_35390185","first-page":"1","volume":"10","year":"2009","journal-title":"ACM TRANSACTIONS ON COMPUTATIONAL LOGIC"},{"key":"4_31564152","doi-asserted-by":"crossref","first-page":"916","DOI":"10.2307\/2273826","volume":"52","year":"1987","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"8_39085300","first-page":"671","volume":"1","year":"2005","journal-title":"WE WILL SHOW THEM ESSAYS IN HONOUR OF DOV GABBAYS TH BIRTHDAY"},{"key":"9_36689712","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1007\/s10958-009-9405-3","volume":"158","year":"2009","journal-title":"JOURNAL OF MATHEMATICAL SCIENCES"},{"key":"11_31564155","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(85)90144-6","volume":"39","year":"1985","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"12_36689713","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/1131313.1131314","volume":"7","year":"2006","journal-title":"ACM TRANSACTIONS ON COMPUTATIONAL LOGIC"},{"key":"15_36689714","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/978-3-540-79709-8_4","volume":"5010","year":"2008","journal-title":"Lecture Notes in Computer Science","ISSN":"http:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"16_36689715","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0003-4843(78)90011-6","volume":"15","year":"1978","journal-title":"ANNALS OF MATHEMATICAL LOGIC"},{"issue":"1","key":"17_39085301","first-page":"1","volume":"0","year":"1988","journal-title":"SUGAKU EXPOSITIONS AMS"},{"key":"18_36689716","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0166-218X(99)00039-6","volume":"96","year":"1999","journal-title":"DISCRETE APPLIED MATHEMATICS"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/19\/1\/62\/1996570\/jzq003.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T05:02:58Z","timestamp":1503464578000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzq003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,26]]},"references-count":11,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2011,1,29]]},"published-print":{"date-parts":[[2011,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzq003","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,26]]}}}