{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T07:30:49Z","timestamp":1789716649907,"version":"4.0.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T00:00:00Z","timestamp":1467676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/M005852\/1,EP\/L012138\/1"],"award-info":[{"award-number":["EP\/M005852\/1,EP\/L012138\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-14-CE25-0017"],"award-info":[{"award-number":["ANR-14-CE25-0017"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,5]]},"DOI":"10.1145\/2933575.2933592","type":"proceedings-article","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T13:34:47Z","timestamp":1476452087000},"page":"817-826","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["A Step Up in Expressiveness of Decidable Fixpoint Logics"],"prefix":"10.1145","author":[{"given":"Michael","family":"Benedikt","sequence":"first","affiliation":[{"name":"University of Oxford"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre","family":"Bourhis","sequence":"additional","affiliation":[{"name":"CNRS CRIStAL, Universit\u00e9 Lille, INRIA Lille"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael Vanden","family":"Boom","sequence":"additional","affiliation":[{"name":"University of Oxford"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(89)90019-7"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004275029985"},{"key":"e_1_3_2_1_3_1","volume-title":"North Holland","author":"Arnold A.","year":"2001","unstructured":"A. Arnold and D. Niwi\u0144ski . Rudiments of mu-calculus . North Holland , 2001 . A. Arnold and D. Niwi\u0144ski. Rudiments of mu-calculus. North Holland, 2001."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2012.02.005"},{"key":"e_1_3_2_1_5_1","volume-title":"ICALP","author":"B\u00e1r\u00e1ny V.","year":"2011","unstructured":"V. B\u00e1r\u00e1ny , B. ten Cate , and L. Segoufin . Guarded negation . In ICALP , 2011 . V. B\u00e1r\u00e1ny, B. ten Cate, and L. Segoufin. Guarded negation. In ICALP, 2011."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350250"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.2307\/2273529"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.36"},{"key":"e_1_3_2_1_9_1","volume-title":"KR","author":"Bienvenu M.","year":"2014","unstructured":"M. Bienvenu , D. Calvanese , M. Ortiz , and M. Simkus . Nested regular path queries in description logics . In KR , 2014 . M. Bienvenu, D. Calvanese, M. Ortiz, and M. Simkus. Nested regular path queries in description logics. In KR, 2014."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603104"},{"key":"e_1_3_2_1_11_1","volume-title":"Decidability results for the boundedness problem. LMCS, 10(3)","author":"Blumensath A.","year":"2014","unstructured":"A. Blumensath , M. Otto , and M. Weyer . Decidability results for the boundedness problem. LMCS, 10(3) , 2014 . A. Blumensath, M. Otto, and M. Weyer. Decidability results for the boundedness problem. LMCS, 10(3), 2014."},{"key":"e_1_3_2_1_12_1","volume-title":"IJCAI","author":"Bourhis P.","year":"2015","unstructured":"P. Bourhis , M. Kr\u00f6tzsch , and S. Rudolph . Reasonable highly expressive query languages . In IJCAI , 2015 . P. Bourhis, M. Kr\u00f6tzsch, and S. Rudolph. Reasonable highly expressive query languages. In IJCAI, 2015."},{"key":"e_1_3_2_1_13_1","volume-title":"KR","author":"Calvanese D.","year":"2000","unstructured":"D. Calvanese , G. De Giacomo , M. Lenzerini , and M. Y. Vardi . Containment of conjunctive regular path queries with inverse . In KR , 2000 . D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Y. Vardi. Containment of conjunctive regular path queries with inverse. In KR, 2000."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.36"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62259"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1988.21949"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586808"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00151-7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/788021.788956"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646512.695495"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/507382.507388"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(95)00051-K"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(86)80029-8"},{"key":"e_1_3_2_1_24_1","unstructured":"C. L\u00f6ding. Automata on infinite trees. Available at http:\/\/www.automata.rwth-aachen.de\/loeding\/inf-tree-automata.pdf.  C. L\u00f6ding. Automata on infinite trees. Available at http:\/\/www.automata.rwth-aachen.de\/loeding\/inf-tree-automata.pdf."},{"key":"e_1_3_2_1_25_1","first-page":"1","article-title":"Decidability of second-order theories and automata on infinite trees","volume":"141","author":"Rabin M. O.","year":"1969","unstructured":"M. O. Rabin . Decidability of second-order theories and automata on infinite trees . Trans. Amer. Math. Soc. , 141 : 1 -- 35 , 1969 . M. O. Rabin. Decidability of second-order theories and automata on infinite trees. Trans. Amer. Math. Soc., 141:1--35, 1969.","journal-title":"Trans. Amer. Math. Soc."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2465227"},{"key":"e_1_3_2_1_27_1","unstructured":"D. Scott. A decision method for validity of sentences in two variables. JSL 27(477) 1962.  D. Scott. A decision method for validity of sentences in two variables. JSL 27(477) 1962."},{"key":"e_1_3_2_1_28_1","volume-title":"ten Cate. Unary negation. LMCS, 9(3)","author":"Segoufin L.","year":"2013","unstructured":"L. Segoufin and B. ten Cate. Unary negation. LMCS, 9(3) , 2013 . L. Segoufin and B. ten Cate. Unary negation. LMCS, 9(3), 2013."},{"key":"e_1_3_2_1_29_1","volume-title":"Handbook of Formal Languages.","author":"Thomas W.","year":"1997","unstructured":"W. Thomas . Languages , Automata, and Logic . In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages. 1997 . W. Thomas. Languages, Automata, and Logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages. 1997."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/646252.685998"}],"event":{"name":"LICS '16: 31st Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"New York NY USA","acronym":"LICS '16","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2933592","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933575.2933592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:56:03Z","timestamp":1750222563000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2933592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,5]]},"references-count":30,"alternative-id":["10.1145\/2933575.2933592","10.1145\/2933575"],"URL":"https:\/\/doi.org\/10.1145\/2933575.2933592","relation":{},"subject":[],"published":{"date-parts":[[2016,7,5]]},"assertion":[{"value":"2016-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}