{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T09:11:55Z","timestamp":1720429915809},"reference-count":27,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1137\/130943625","type":"journal-article","created":{"date-parts":[[2015,6,18]],"date-time":"2015-06-18T18:19:51Z","timestamp":1434651591000},"page":"786-818","source":"Crossref","is-referenced-by-count":7,"title":["Regular Graphs and the Spectra of Two-Variable Logic with Counting"],"prefix":"10.1137","volume":"44","author":[{"given":"Eryk","family":"Kopczy\u0144ski","sequence":"first","affiliation":[]},{"given":"Tony","family":"Tan","sequence":"additional","affiliation":[]}],"member":"351","reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19550010403"},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.2178\/bsl.1804020"},{"key":"atypb5","first-page":"43","author":"Fagin R.","year":"1974","journal-title":"Philadelphia"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1096901758"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1966.16.285"},{"key":"atypb8","first-page":"393","author":"Gra\u0308del E.","year":"2001","journal-title":"Singapore"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.2307\/421196"},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00308-9"},{"key":"atypb12","doi-asserted-by":"publisher","DOI":"10.1137\/0213025"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1007\/BF01699468"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(90)90009-A"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1137\/0110037"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.2307\/2272354"},{"key":"atypb19","first-page":"267","author":"Kosaraju S.","year":"1982","journal-title":"New York"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1007\/BF02476378"},{"key":"atypb21","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-6(3:22)2010"},{"key":"atypb22","first-page":"247","author":"Lutz C.","year":"2001","journal-title":"Berlin"},{"key":"atypb23","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786976"},{"key":"atypb24","doi-asserted-by":"publisher","DOI":"10.1137\/0213029"},{"key":"atypb25","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19750210118"},{"key":"atypb27","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539797323005"},{"key":"atypb28","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-005-5791-1"},{"key":"atypb30","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19720180102"},{"key":"atypb31","doi-asserted-by":"publisher","DOI":"10.2307\/2266243"},{"key":"atypb32","first-page":"317","author":"Szwast W.","year":"2013","journal-title":"Wadern"},{"key":"atypb34","first-page":"149","author":"Vardi M.","year":"1996","journal-title":"RI"},{"key":"atypb36","doi-asserted-by":"publisher","DOI":"10.1137\/0207018"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/130943625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,1,29]],"date-time":"2017-01-29T16:09:50Z","timestamp":1485706190000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/130943625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["10.1137\/130943625"],"URL":"https:\/\/doi.org\/10.1137\/130943625","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1]]}}}