{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T01:16:03Z","timestamp":1649207763807},"reference-count":18,"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\/exp071","type":"journal-article","created":{"date-parts":[[2009,11,7]],"date-time":"2009-11-07T01:35:19Z","timestamp":1257557719000},"page":"533-571","source":"Crossref","is-referenced-by-count":10,"title":["Answer Set Programming with Resources"],"prefix":"10.1093","volume":"20","author":[{"given":"S.","family":"Costantini","sequence":"first","affiliation":[]},{"given":"A.","family":"Formisano","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2009,11,6]]},"reference":[{"issue":"3","key":"1_21357785","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"ANDREOLI","year":"1992","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"2_35932242","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","year":"1991","journal-title":"NEW GENERATION COMPUTING"},{"key":"4_35932243","first-page":"9","volume":"19","year":"1994","journal-title":"JOURNAL OF LOGIC PROGRAMMING"},{"key":"17_35932244","first-page":"3","volume":"64","year":"2009","journal-title":"JOURNAL OF ALGORITHMS IN COGNITION INFORMATICS AND LOGIC"},{"key":"20_35932245","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","year":"2001","journal-title":"ACM COMPUTING SURVEYS"},{"key":"21_35932246","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1080\/09528130701538174","volume":"21","year":"2009","journal-title":"JOURNAL OF EXPERIMENTAL AND THEORETICAL ARTIFICIAL INTELLIGENCE"},{"key":"23_35932247","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1017\/S1471068408003323","volume":"8","year":"2008","journal-title":"THEORY AND PRACTICE OF LOGIC PROGRAMMING"},{"key":"28_35932248","first-page":"193","volume":"3","year":"1998","journal-title":"ELECTRONIC TRANSACTIONS ON AI"},{"key":"29_26937564","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","year":"1987","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"issue":"2","key":"30_21358009","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1093\/logcom\/4.2.175","volume":"4","author":"PYM","year":"1994","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"33_35932249","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","year":"1994","journal-title":"INFORMATION AND COMPUTATION"},{"key":"35_35932250","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0096-0551(96)00007-0","volume":"22","year":"1996","journal-title":"COMPUTER LANGUAGES"},{"key":"38_35932251","first-page":"279","volume":"3","year":"1994","journal-title":"FORMAL ASPECTS OF COMPUTING"},{"key":"45_35932252","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1145\/116825.116836","volume":"38","year":"1991","journal-title":"JOURNAL OF THE ACM"},{"key":"49_35932253","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0304-3975(96)00045-X","volume":"165","year":"1996","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"50_29468881","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","year":"1991","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"},{"key":"54_35932254","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/S0167-9236(97)00061-4","volume":"22","year":"1998","journal-title":"DECISION SUPPORT SYSTEMS"},{"key":"55_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"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/2\/533\/2758180\/exp071.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T12:14:42Z","timestamp":1551010482000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exp071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,6]]},"references-count":18,"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\/exp071","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,6]]}}}