{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T12:56:47Z","timestamp":1769605007477,"version":"3.49.0"},"reference-count":14,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,6,1]]},"DOI":"10.1093\/logcom\/exu062","type":"journal-article","created":{"date-parts":[[2014,11,7]],"date-time":"2014-11-07T22:44:29Z","timestamp":1415400269000},"page":"943-963","source":"Crossref","is-referenced-by-count":9,"title":["Enumeration of the adjunctive hierarchy of hereditarily finite sets"],"prefix":"10.1093","volume":"25","author":[{"given":"G.","family":"Audrito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. I.","family":"Tomescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,11,6]]},"reference":[{"key":"1_47017957","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01594179","volume":"114","year":"1937","journal-title":"MATHEMATISCHE ANNALEN"},{"key":"4_49057578","first-page":"31","volume":"LXIII","year":"2008","journal-title":"LE MATEMATICHE"},{"key":"8_49057533","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(95)00147-6","volume":"28","year":"1996","journal-title":"JOURNAL OF LOGIC PROGRAMING"},{"key":"9_49057534","doi-asserted-by":"crossref","first-page":"861","DOI":"10.1145\/365151.365169","volume":"22","year":"2000","journal-title":"ACM TRANSACTIONS ON PROGRAMING LANGUAGES AND SYSTEMS"},{"key":"10_49057535","first-page":"A","volume":"7751","year":"1977","journal-title":"ABSTRACTS OF THE AMERICAN MATHEMATICAL SOCIETY"},{"key":"11_27646522","doi-asserted-by":"crossref","first-page":"1098","DOI":"10.1109\/JRPROC.1952.273898","volume":"40","year":"1952","journal-title":"PROCEEDINGS OF THE IRE"},{"key":"13_49057536","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00153-008-0073-7","volume":"47","year":"2008","journal-title":"ARCHIVE FOR MATHEMATICAL LOGIC"},{"key":"15_49057537","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/11829263_7","volume":"4155","year":"2006","journal-title":"REASONING ACTION AND INTERACTION IN AI THEORIES AND SYSTEMS ESSAYS DEDICATED TO LUIGIA CARLUCCI AIELLO"},{"key":"16_49057538","first-page":"271","volume":"7","year":"1991","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"17_49057539","first-page":"825","volume":"13","year":"1962","journal-title":"PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY"},{"key":"18_49057540","first-page":"235","volume":"1068","year":"2013","journal-title":"CILC CEUR WORKSHOP PROCEEDINGS"},{"key":"19_49057541","doi-asserted-by":"crossref","first-page":"787","DOI":"10.1016\/j.ipl.2011.05.014","volume":"111","year":"2011","journal-title":"INFORMATION PROCESSING LETTER"},{"key":"20_49057542","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.ipl.2013.01.010","volume":"113","year":"2013","journal-title":"INFORMATION PROCESSING LETTERS"},{"key":"24_49057543","doi-asserted-by":"crossref","first-page":"829","DOI":"10.1007\/s00453-012-9725-4","volume":"66","year":"2013","journal-title":"ALGORITHMICA"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/3\/943\/6141954\/exu062.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T14:15:20Z","timestamp":1503497720000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exu062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,6]]},"references-count":14,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2015,5,27]]},"published-print":{"date-parts":[[2015,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exu062","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,6]]}}}