{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T02:27:10Z","timestamp":1747189630678,"version":"3.40.5"},"reference-count":26,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"4","funder":[{"name":"Taiwan National Science and Technology Council","award":["109-2221-E-002-143-MY3"],"award-info":[{"award-number":["109-2221-E-002-143-MY3"]}]},{"DOI":"10.13039\/501100006477","name":"National Taiwan University","doi-asserted-by":"publisher","award":["109L891808"],"award-info":[{"award-number":["109L891808"]}],"id":[{"id":"10.13039\/501100006477","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/T022124\/1"],"award-info":[{"award-number":["EP\/T022124\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2024,8,31]]},"DOI":"10.1137\/22m1504792","type":"journal-article","created":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T08:01:26Z","timestamp":1720425686000},"page":"884-968","source":"Crossref","is-referenced-by-count":0,"title":["Two Variable Logic with Ultimately Periodic Counting"],"prefix":"10.1137","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2964-0880","authenticated-orcid":true,"given":"Michael","family":"Benedikt","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, England."}]},{"given":"Egor V.","family":"Kostylev","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway."}]},{"given":"Tony","family":"Tan","sequence":"additional","affiliation":[{"name":"University of Liverpool, Liverpool, England."}]}],"member":"351","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-319-66167-4_3"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1016\/j.tcs.2019.09.028"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1090\/S0002-9939-1976-0396605-3"},{"key":"ref7","first-page":"73","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"Charatonik W.","year":"2013"},{"key":"ref8","volume":"12","author":"Charatonik W.","year":"2016","journal-title":"Log. Methods Comput. Sci."},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/2983622"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1016\/j.jal.2010.03.001"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.2178\/bsl.1804020"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/j.orl.2005.09.008"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.2140\/pjm.1966.16.285"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.2307\/421196"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/s001530050130"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1137\/120900095"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1137\/130943625"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1080\/00029890.1996.12004747"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-540-73595-3_15"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1002\/malq.19750210118"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1137\/S0097539797323005"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1145\/322276.322287"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1007\/s10849-005-5791-1"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1093\/logcom\/exl034"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1016\/j.ic.2009.02.004"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/978-3-642-13824-9_4"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1002\/malq.201400102"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1093\/oso\/9780192867964.001.0001"},{"key":"ref31","volume":"27","author":"Scott D.","year":"1962","journal-title":"J. Symb. Log."}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T08:01:33Z","timestamp":1720425693000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/22M1504792"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,8,31]]}},"alternative-id":["10.1137\/22M1504792"],"URL":"https:\/\/doi.org\/10.1137\/22m1504792","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"type":"print","value":"0097-5397"},{"type":"electronic","value":"1095-7111"}],"subject":[],"published":{"date-parts":[[2024,7,8]]}}}