{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T22:59:22Z","timestamp":1773097162748,"version":"3.50.1"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005114","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-12","source":"Crossref","is-referenced-by-count":13,"title":["Equivalence of inductive definitions and cyclic proofs under arithmetic"],"prefix":"10.1109","author":[{"given":"Stefano","family":"Berardi","sequence":"first","affiliation":[]},{"given":"Makoto","family":"Tatsuta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328453"},{"key":"ref3","author":"brotherston","year":"2006","journal-title":"Sequent calculus proof systems for inductive definitions"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2004.1319598"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exq052"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-30.1.264"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22438-6_12"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54458-7_17"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2307\/2272972"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35182-2_25"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11554554_8"},{"key":"ref9","first-page":"179216","article-title":"Haupstatz for the intuitionistic theory of iterated inductive definitions","author":"martin-lot","year":"1971","journal-title":"Proceedings of the Second Scandinavian Logic Symposium"},{"key":"ref1","first-page":"301","article-title":"Martin-Löf's Inductive Definitions are Not Equivalent to Cyclic Proofs","author":"berardi","year":"2017","journal-title":"Proceedings of FoSSaCS 2017 LNCS 10203"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik, Iceland","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005114.pdf?arnumber=8005114","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T23:35:17Z","timestamp":1506987317000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005114\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005114","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}