{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T08:46:18Z","timestamp":1770885978414,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2003.1210071","type":"proceedings-article","created":{"date-parts":[[2003,12,22]],"date-time":"2003-12-22T17:34:10Z","timestamp":1072114450000},"page":"311-320","source":"Crossref","is-referenced-by-count":16,"title":["Homomorphism closed vs. existential positive"],"prefix":"10.1109","author":[{"given":"T.","family":"Feder","sequence":"first","affiliation":[]},{"given":"M.Y.","family":"Vardi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62233"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1182353894"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1055"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90021-7"},{"key":"13","author":"immerman","year":"1998","journal-title":"Descriptive Complexity"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113743"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3466-1_12"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(95)00051-K"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(85)90002-0"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/31846.31852"},{"key":"1","author":"abiteboul","year":"1995","journal-title":"Foundations of Databases"},{"key":"10","author":"graham","year":"1980","journal-title":"Ramsey Theory"},{"key":"7","first-page":"43","article-title":"Generalized first-order spectra and polynomial-time recognizable sets","volume":"7","author":"fagin","year":"1974","journal-title":"Complexity of Computation SIAM-AMS Proceedings"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03182-7"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.2.189"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/GMAP.2000.838268"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19990450304"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"}],"event":{"name":"18th Annual IEEE Symposium on Logic in Computer Science","location":"Ottawa, Ont., Canada","acronym":"LICS-03"},"container-title":["18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8592\/27231\/01210071.pdf?arnumber=1210071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T18:36:45Z","timestamp":1489430205000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210071\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/lics.2003.1210071","relation":{},"subject":[]}}