{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:18Z","timestamp":1750220178871,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,2]]},"DOI":"10.1145\/3531130.3532498","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["When Locality Meets Preservation"],"prefix":"10.1145","author":[{"given":"Aliaume","family":"Lopez","sequence":"first","affiliation":[{"name":"LMF, CNRS, ENS Paris Saclay, Universit\u00e9 Paris Saclay, France and IRIF, Universit\u00e9 Paris Cit\u00e9, France"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"SIAM J.\u00a0Comput. 38, 4","volume-title":"Preservation under extensions on well-behaved finite structures","author":"Atserias Albert","year":"2008","unstructured":"Albert Atserias , Anuj Dawar , and Martin Grohe . 2008. Preservation under extensions on well-behaved finite structures . SIAM J.\u00a0Comput. 38, 4 ( 2008 ), 1364\u20131381. https:\/\/doi.org\/10.1137\/060658709 10.1137\/060658709 Albert Atserias, Anuj Dawar, and Martin Grohe. 2008. Preservation under extensions on well-behaved finite structures. SIAM J.\u00a0Comput. 38, 4 (2008), 1364\u20131381. https:\/\/doi.org\/10.1137\/060658709"},{"key":"e_1_3_2_1_2_1","volume-title":"On preservation under homomorphisms and unions of conjunctive queries. J.\u00a0ACM 53, 2","author":"Atserias Albert","year":"2006","unstructured":"Albert Atserias , Anuj Dawar , and Phokion\u00a0 G. Kolaitis . 2006. On preservation under homomorphisms and unions of conjunctive queries. J.\u00a0ACM 53, 2 ( 2006 ), 208\u2013237. https:\/\/doi.org\/10.1145\/1131342.1131344 10.1145\/1131342.1131344 Albert Atserias, Anuj Dawar, and Phokion\u00a0G. Kolaitis. 2006. On preservation under homomorphisms and unions of conjunctive queries. J.\u00a0ACM 53, 2 (2006), 208\u2013237. https:\/\/doi.org\/10.1145\/1131342.1131344"},{"volume-title":"Vol.\u00a073","author":"Chang Chen\u00a0Chung","key":"e_1_3_2_1_3_1","unstructured":"Chen\u00a0Chung Chang and H.\u00a0 Jerome Keisler . 1990. Model Theory. Studies in Logic and the Foundations of Mathematics , Vol.\u00a073 . Elsevier . Chen\u00a0Chung Chang and H.\u00a0Jerome Keisler. 1990. Model Theory. Studies in Logic and the Foundations of Mathematics, Vol.\u00a073. Elsevier."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470742"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11083-010-9174-0"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.13"},{"key":"e_1_3_2_1_7_1","first-page":"1","article-title":"Extension Preservation in the Finite and Prefix Classes of First Order Logic. In Proc. CSL\u201921(LIPIcs, Vol.\u00a0183)","volume":"18","author":"Dawar Anuj","year":"2021","unstructured":"Anuj Dawar and Abhisekh Sankaran . 2021 . Extension Preservation in the Finite and Prefix Classes of First Order Logic. In Proc. CSL\u201921(LIPIcs, Vol.\u00a0183) . LZI , 18 : 1 \u2013 18 :13. https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2021.18 10.4230\/LIPIcs.CSL.2021.18 Anuj Dawar and Abhisekh Sankaran. 2021. Extension Preservation in the Finite and Prefix Classes of First Order Logic. In Proc. CSL\u201921(LIPIcs, Vol.\u00a0183). LZI, 18:1\u201318:13. https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2021.18","journal-title":"LZI"},{"key":"#cr-split#-e_1_3_2_1_8_1.1","doi-asserted-by":"crossref","unstructured":"Guoli Ding. 1992. Subgraphs and well-quasi-ordering. J.\u00a0Graph Theory 16(1992) 489-502. https:\/\/doi.org\/10.1002\/jgt.3190160509 10.1002\/jgt.3190160509","DOI":"10.1002\/jgt.3190160509"},{"key":"#cr-split#-e_1_3_2_1_8_1.2","doi-asserted-by":"crossref","unstructured":"Guoli Ding. 1992. Subgraphs and well-quasi-ordering. J.\u00a0Graph Theory 16(1992) 489-502. https:\/\/doi.org\/10.1002\/jgt.3190160509","DOI":"10.1002\/jgt.3190160509"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.4064\/fm-47-1-57-103"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71879-2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.01.005"},{"key":"e_1_3_2_1_12_1","volume-title":"Preservation and decomposition theorems for bounded degree structures. Log. Meth. Comput. Sci. 11, 4","author":"Harwath Frederik","year":"2015","unstructured":"Frederik Harwath , Lucas Heimberg , and Nicole Schweikardt . 2015. Preservation and decomposition theorems for bounded degree structures. Log. Meth. Comput. Sci. 11, 4 ( 2015 ). https:\/\/doi.org\/10.2168\/LMCS-11(4:17)2015 10.2168\/LMCS-11(4:17)2015 Frederik Harwath, Lucas Heimberg, and Nicole Schweikardt. 2015. Preservation and decomposition theorems for bounded degree structures. Log. Meth. Comput. Sci. 11, 4 (2015). https:\/\/doi.org\/10.2168\/LMCS-11(4:17)2015"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470602"},{"volume-title":"Elements of finite model theory","author":"Libkin Leonid","key":"e_1_3_2_1_14_1","unstructured":"Leonid Libkin . 2012. Elements of finite model theory . Springer . Leonid Libkin. 2012. Elements of finite model theory. Springer."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4064\/fm-42-1-38-54"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1959.9.143"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.002"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejc.2011.01.006"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2230458"},{"key":"e_1_3_2_1_20_1","volume-title":"Homomorphism preservation theorems. J.\u00a0ACM 55, 3","author":"Rossman Benjamin","year":"2008","unstructured":"Benjamin Rossman . 2008. Homomorphism preservation theorems. J.\u00a0ACM 55, 3 ( 2008 ), 15:1\u201315:53. https:\/\/doi.org\/10.1145\/1379759.1379763 10.1145\/1379759.1379763 Benjamin Rossman. 2008. Homomorphism preservation theorems. J.\u00a0ACM 55, 3 (2008), 15:1\u201315:53. https:\/\/doi.org\/10.1145\/1379759.1379763"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3026744.3026746"},{"key":"e_1_3_2_1_22_1","first-page":"15","article-title":"A counterexample to a conjecture of Scott and Suppes. J.\u00a0Symb","volume":"24","author":"Tait W.","year":"1959","unstructured":"William\u00a0 W. Tait . 1959 . A counterexample to a conjecture of Scott and Suppes. J.\u00a0Symb . Logic 24 , 1 (1959), 15 \u2013 16 . https:\/\/doi.org\/10.2307\/2964569 10.2307\/2964569 William\u00a0W. Tait. 1959. A counterexample to a conjecture of Scott and Suppes. J.\u00a0Symb. Logic 24, 1 (1959), 15\u201316. https:\/\/doi.org\/10.2307\/2964569","journal-title":"Logic"},{"key":"e_1_3_2_1_23_1","first-page":"572","article-title":"Contributions to the Theory of Models","volume":"57","author":"Tarski Alfred","year":"1954","unstructured":"Alfred Tarski . 1954 . Contributions to the Theory of Models . I. Indag. Math. (Proc.) 57 (1954), 572 \u2013 581 . https:\/\/doi.org\/10.1016\/S1385-7258(54)50074-0 10.1016\/S1385-7258(54)50074-0 Alfred Tarski. 1954. Contributions to the Theory of Models. I. Indag. Math. (Proc.) 57(1954), 572\u2013581. https:\/\/doi.org\/10.1016\/S1385-7258(54)50074-0","journal-title":"I. Indag. Math. (Proc.)"}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"],"location":"Haifa Israel","acronym":"LICS '22"},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3532498","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3532498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:09Z","timestamp":1750186929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3532498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":24,"alternative-id":["10.1145\/3531130.3532498","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3532498","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}