{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:18Z","timestamp":1761611238774},"reference-count":10,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"DOI":"10.1093\/jigpal\/jzn020","type":"journal-article","created":{"date-parts":[[2008,11,18]],"date-time":"2008-11-18T01:44:24Z","timestamp":1226972664000},"page":"537-560","source":"Crossref","is-referenced-by-count":12,"title":["Cut-Based Abduction"],"prefix":"10.1093","volume":"16","author":[{"given":"M.","family":"D'Agostino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Finger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2008,11,14]]},"reference":[{"key":"2_29649289","first-page":"373","volume":"13","year":"1984","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"3_32638097","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF02391554","volume":"34","year":"1995","journal-title":"ARCHIVE FOR MATHEMATIC LOGIC"},{"issue":"2","key":"5_22151498","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1093\/jigpal\/jzk016","volume":"14","author":"Carnielli","year":"2006","journal-title":"Logic Journal of IGPL","ISSN":"http:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"key":"6_32638098","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1093\/jigpal\/1.1.99","volume":"1","year":"1993","journal-title":"JOURNAL OF THE IGPL"},{"key":"7_32638099","first-page":"99","volume":"3","year":"1995","journal-title":"JOURNAL OF THE IGPL"},{"key":"8_32638100","first-page":"95","volume":"41","year":"1996","journal-title":"JOURNAL OF THE IGPL"},{"key":"10_29649290","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF00156916","volume":"1","year":"1992","journal-title":"JOURNAL OF LOGIC LANGUAGE AND INFORMATION"},{"key":"14_29649293","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s10849-005-9001-y","volume":"15","year":"2006","journal-title":"JOURNAL OF LOGIC LANGUAGE AND INFORMATION"},{"key":"16_32638101","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1093\/jigpal\/jzk014","volume":"14","year":"2006","journal-title":"LOGIC JOURNAL OF THE IGPL"},{"key":"17_32638102","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/s10817-006-9048-8","volume":"38","year":"2007","journal-title":"JOURNAL OF AUTOMATED REASONING"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/16\/6\/537\/2119425\/jzn020.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T17:48:18Z","timestamp":1550252898000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzn020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,14]]},"references-count":10,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2008,11,14]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzn020","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,14]]}}}