{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:50:14Z","timestamp":1729630214442,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/lics.2004.1319617","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"232-241","source":"Crossref","is-referenced-by-count":5,"title":["First-order definable retraction problems for posets and reflexive graphs"],"prefix":"10.1109","author":[{"given":"V.","family":"Dalmau","sequence":"first","affiliation":[]},{"given":"A.","family":"Krokhin","sequence":"additional","affiliation":[]},{"given":"B.","family":"Larose","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1987-025-1"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.2003.1238228"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107359970.008"},{"key":"33","doi-asserted-by":"crossref","first-page":"165","DOI":"10.3233\/FI-1996-281211","article-title":"Satisfiabilty of inequalities in a poset","volume":"28","author":"pratt","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196797000253"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2003.1210071"},{"journal-title":"Finite Model Theory","year":"1999","author":"ebbinghaus","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1006\/jctb.1997.1812"},{"key":"11","first-page":"52","article-title":"Near-unanimity functions of partial orders","author":"demetrovics","year":"1984","journal-title":"Proc 14th Int Symp on Multiple-valued Logic ISMVL'84"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(81)90201-6"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00022-8"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/057\/856237"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68804-8_2"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1055"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1713"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36494-3_34"},{"key":"26","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1023\/A:1010681409599","article-title":"Order varieties and monotone retractions of finite posets","volume":"18","author":"kun","year":"2001","journal-title":"Order"},{"journal-title":"A Polynomial-time Algorithm to Recognise Near-unanimity Graphs","year":"0","author":"larose","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(95)00312-K"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1137\/S0895480101389478"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00134-0"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055602"},{"key":"10","first-page":"310","article-title":"Constraint satisfaction, bounded treewidth, and finite-variable logics","volume":"2470","author":"dalmau","year":"2002","journal-title":"Proc 8th Int Conf on Constraint Programming CP'02 Volume 2470 of LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(05)80071-6"},{"key":"30","first-page":"293","article-title":"Algorithmic aspects of type interference with subtypes","author":"lincoln","year":"1992","journal-title":"Proc 19th ACM Symp on Principles of Programming Languages POPL'92"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/800105.803397"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2003.1210072"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-5547-1"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1137\/S0895480103436748"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1006\/jctb.2000.1970"},{"journal-title":"Topology and Geometry","year":"1995","author":"bredon","key":"4"},{"key":"9","first-page":"414","article-title":"Constraint satisfaction problems in non-deterministic logarithmic space","volume":"2380","author":"dalmau","year":"2002","journal-title":"Proc 29th Int Colloq on Automata Languages and Programming ICALP'02 Volume 2380 of LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718546"}],"event":{"name":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.","start":{"date-parts":[[2004,7,17]]},"location":"Turku, Finland","end":{"date-parts":[[2004,7,17]]}},"container-title":["Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9221\/29239\/01319617.pdf?arnumber=1319617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T01:47:38Z","timestamp":1585964858000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319617\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/lics.2004.1319617","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}