{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T06:05:48Z","timestamp":1673417148323},"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\/ext066","type":"journal-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T01:49:22Z","timestamp":1386121762000},"page":"1331-1349","source":"Crossref","is-referenced-by-count":3,"title":["Rank and simulation: the well-founded case"],"prefix":"10.1093","volume":"25","author":[{"given":"R.","family":"Gentilini","sequence":"first","affiliation":[]},{"given":"C.","family":"Piazza","sequence":"additional","affiliation":[]},{"given":"A.","family":"Policriti","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2013,12,3]]},"reference":[{"key":"2_47017957","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01594179","volume":"114","year":"1937","journal-title":"MATHEMATISCHE ANNALEN"},{"key":"4_47017958","first-page":"273","volume":"13","year":"2012","journal-title":"INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER"},{"key":"6_47017959","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/635499.635502","volume":"4","year":"2003","journal-title":"ACM TRANSACTIONS ON COMPUTATIONAL LOGIC"},{"key":"9_47017960","first-page":"231","volume":"11","year":"2010","journal-title":"ACM TRANSACTIONS ON COMPUTATIONAL LOGIC"},{"key":"10_47017961","first-page":"52","volume":"131","year":"1981","journal-title":"LOGIC OF PROGRAMS"},{"key":"14_47017962","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1016\/S1571-0661(04)80547-4","volume":"67","year":"2002","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"16_47017963","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0304-3975(03)00361-X","volume":"311","year":"2004","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"21_47017964","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1023\/A:1027328830731","volume":"31","year":"2003","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"28_47017965","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/BF01384313","volume":"6","year":"1995","journal-title":"FORMAL METHODS IN SYSTEM DESIGN"},{"key":"30_47017966","first-page":"37","volume":"19","year":"1917","journal-title":"LENSEIGNEMENT MATHEMATIQUE"},{"key":"31_47017967","doi-asserted-by":"crossref","first-page":"843","DOI":"10.1145\/177492.177725","volume":"16","year":"1994","journal-title":"ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS"},{"key":"32_47017968","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","year":"1987","journal-title":"SIAM JOURNAL ON COMPUTING"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/6\/1331\/7948682\/ext066.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,25]],"date-time":"2017-08-25T02:16:51Z","timestamp":1503627411000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/ext066"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,3]]},"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\/ext066","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,3]]}}}