{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T15:19:04Z","timestamp":1649085544122},"reference-count":10,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2009,8,1]]},"DOI":"10.1093\/logcom\/exn036","type":"journal-article","created":{"date-parts":[[2008,8,6]],"date-time":"2008-08-06T03:59:07Z","timestamp":1217995147000},"page":"697-715","source":"Crossref","is-referenced-by-count":3,"title":["Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures"],"prefix":"10.1093","volume":"19","author":[{"given":"G.","family":"Grossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Marchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Provetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2008,8,5]]},"reference":[{"key":"1_31647950","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1016\/j.parco.2005.03.004","volume":"31","year":"2005","journal-title":"PARALLEL COMPUTING"},{"key":"3_31647951","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1016\/S0167-8191(03)00068-1","volume":"29","year":"2003","journal-title":"PARALLEL COMPUTING"},{"key":"7_31647952","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0020-0190(02)00290-9","volume":"84","year":"2002","journal-title":"INFORMATION PROCESSING LETTERS"},{"key":"8_31647953","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1017\/S1471068404002339","volume":"5","year":"2005","journal-title":"THEORY AND PRACTICE OF LOGIC PROGRAMMING"},{"key":"9_31647954","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1017\/S1471068403001765","volume":"3","year":"2003","journal-title":"THEORY AND PRACTICE OF LOGIC PROGRAMMING TPLP"},{"key":"10_28375926","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","year":"1991","journal-title":"NEW GENERATION COMPUTING"},{"key":"11_31647955","first-page":"345","volume":"36","year":"2006","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"18_31647956","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF02760024","volume":"3","year":"1965","journal-title":"ISRAEL JOURNAL OF MATHEMATICS"},{"key":"19_27496332","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","year":"2002","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"21_31647957","doi-asserted-by":"crossref","first-page":"173","DOI":"10.3233\/SAT190043","volume":"4","year":"2008","journal-title":"JOURNAL ON SATISFIABILITY BOOLEAN MODELING AND COMPUTATION"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/19\/4\/697\/3059965\/exn036.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T13:10:06Z","timestamp":1588857006000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exn036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,5]]},"references-count":10,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2009,7,23]]},"published-print":{"date-parts":[[2009,8,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exn036","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8,5]]}}}