{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:01:38Z","timestamp":1729645298662,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005094","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":2,"title":["A fine-grained hierarchy of hard problems in the separated fragment"],"prefix":"10.1109","author":[{"given":"Marco","family":"Voigt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"349","article-title":"On the Parallel Complexity of Some Constraint Satisfaction Problems","volume":"1","author":"kasif","year":"1986","journal-title":"Artificial Intelligence (AAAI’ 86)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44522-8_31"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19750210118"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90010-2"},{"key":"ref14","first-page":"39:1","article-title":"Quine's Fluted Fragment is Non-Elementary","author":"pratt-hartmann","year":"2016","journal-title":"Computer Science Logic (CSL'16)"},{"key":"ref15","first-page":"57","article-title":"On the Limits of Decision","volume":"iii","author":"quine","year":"1969","journal-title":"14th International Congress of Philosophy"},{"key":"ref16","article-title":"The Variable","author":"quine","year":"1976","journal-title":"The Ways of Paradox and other essays Revised and enlarged edition"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934532"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005094"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59207-2"},{"key":"ref6","article-title":"On solvable cases of Hilbert's ‘Entschei-dungsproblem’","author":"gr\u00e4del","year":"1990","journal-title":"Habilitationsschrift"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2355-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2307\/421196"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2586808"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1145\/2701414","article-title":"Guarded Negation","volume":"62","author":"b\u00e1r\u00e1ny","year":"2015","journal-title":"J ACM"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004275029985"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01683259"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2017,6,20]]},"location":"Reykjavik, Iceland","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\/08005094.pdf?arnumber=8005094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T03:39:22Z","timestamp":1569987562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005094\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005094","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}