{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T21:11:40Z","timestamp":1648933900891},"reference-count":12,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,12,1]]},"DOI":"10.1093\/logcom\/ext064","type":"journal-article","created":{"date-parts":[[2013,12,10]],"date-time":"2013-12-10T03:34:22Z","timestamp":1386646462000},"page":"1371-1378","source":"Crossref","is-referenced-by-count":0,"title":["Elio Lanzarone: a life for science"],"prefix":"10.1093","volume":"25","author":[{"given":"S.","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Gobbo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2013,12,9]]},"reference":[{"key":"1_47054833","doi-asserted-by":"crossref","first-page":"1304","DOI":"10.1109\/PROC.1986.13633","volume":"74","year":"1986","journal-title":"Proceedings of the IEEE","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9219","issn-type":"print"},{"key":"2_47054834","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BF00117746","volume":"1","year":"1991","journal-title":"INT J OF APPLIED INTELLIGENCE"},{"issue":"6","key":"7_20351079","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1093\/logcom\/10.6.743","volume":"10","author":"Barklund","year":"2000","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"16_47054837","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1080\/09528139408953789","volume":"6","year":"1994","ISSN":"http:\/\/id.crossref.org\/issn\/0952-813X","issn-type":"print"},{"key":"17_47054838","first-page":"111","volume":"1","year":"1994","journal-title":"J METHODS OF LOGIC IN COMPUTER SCIENCE"},{"key":"18_47054839","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00872530","volume":"3","year":"1995","journal-title":"ARTIF INTELL LAW"},{"key":"21_47054840","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BF01530892","volume":"14","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/1573-7470","issn-type":"print"},{"key":"27_47054841","doi-asserted-by":"crossref","first-page":"259","DOI":"10.2307\/2964649","volume":"27","year":"1962","journal-title":"J SYMB LOG"},{"key":"28_47054842","first-page":"757","volume":"2","year":"2006","journal-title":"MICTE"},{"key":"32_47054843","first-page":"18","volume":"7","year":"2007","journal-title":"APA NEWSLETTER ON PHILOSOPHY AND COMPUTING"},{"issue":"1","key":"36_20407638","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/comjnl\/18.1.55","volume":"18","author":"Lanzarone","year":"1975","journal-title":"The Computer Journal","ISSN":"http:\/\/id.crossref.org\/issn\/0010-4620","issn-type":"print"},{"key":"38_47054845","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","year":"1980","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\/25\/6\/1371\/7947983\/ext064.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,25]],"date-time":"2017-08-25T02:15:36Z","timestamp":1503627336000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/ext064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,9]]},"references-count":12,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2015,11,18]]},"published-print":{"date-parts":[[2015,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/ext064","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,9]]}}}