{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T19:09:45Z","timestamp":1672427385892},"reference-count":12,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2010,4,1]]},"DOI":"10.1093\/logcom\/exp074","type":"journal-article","created":{"date-parts":[[2009,11,11]],"date-time":"2009-11-11T03:33:45Z","timestamp":1257910425000},"page":"481-499","source":"Crossref","is-referenced-by-count":7,"title":["The Complexity of the Warranted Formula Problem in Propositional Argumentation"],"prefix":"10.1093","volume":"20","author":[{"given":"R.","family":"Hirsch","sequence":"first","affiliation":[]},{"given":"N.","family":"Gorogiannis","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2009,11,10]]},"reference":[{"key":"2_35951649","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/S0004-3702(01)00071-6","volume":"128","year":"2001","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"4_35172790","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","year":"1997","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"5_34429629","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0004-3702(02)00261-8","volume":"141","year":"2002","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"9_35951650","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S0004-3702(02)00245-X","volume":"141","year":"2002","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"10_29005474","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","year":"1995","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"12_35951651","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1016\/j.artint.2007.03.006","volume":"171","year":"2007","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"13_35951652","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0304-3975(93)90026-P","volume":"112","year":"1993","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"15_35172794","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1017\/S1471068403001674","volume":"4","year":"2004","journal-title":"THEORY AND PRACTICE OF LOGIC PROGRAMMING"},{"key":"17_35172800","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","year":"1987","journal-title":"COGNITIVE SCIENCE"},{"issue":"3","key":"18_20351178","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1093\/logcom\/13.3.347","volume":"13","author":"Parsons","year":"2003","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"19_35172802","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","year":"1992","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"21_35951653","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","year":"1976","journal-title":"THEORETICAL COMPUTER SCIENCE"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/2\/481\/2758827\/exp074.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T13:47:47Z","timestamp":1551016067000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exp074"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,10]]},"references-count":12,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2010,3,19]]},"published-print":{"date-parts":[[2010,4,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exp074","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,10]]}}}