{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:25:50Z","timestamp":1725535550246},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030727"},{"type":"electronic","value":"9783642030734"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03073-4_4","type":"book-chapter","created":{"date-parts":[[2009,7,14]],"date-time":"2009-07-14T04:06:17Z","timestamp":1247544377000},"page":"31-36","source":"Crossref","is-referenced-by-count":2,"title":["Complexity of Existential Positive First-Order Logic"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Bodirsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miki","family":"Hermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Richoux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-70583-3_16","volume-title":"Automata, Languages and Programming","author":"M. Bodirsky","year":"2008","unstructured":"Bodirsky, M., Grohe, M.: Non-Dichotomies in Constraint Satisfaction Complexity. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 184\u2013196. Springer, Heidelberg (2008)"},{"key":"4_CR2","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Co., New York (1979)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"WALCOM: Algorithms and Computation","author":"M. Hermann","year":"2009","unstructured":"Hermann, M., Richoux, F.: On the Computational Complexity of Monotone Constraint Satisfaction Problems. In: Das, S., Uehara, R. (eds.) WALCOM 2009. LNCS, vol.\u00a05431. Springer, Heidelberg (2009)"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0304-3975(75)90016-X","volume":"1","author":"R.E. Ladner","year":"1975","unstructured":"Ladner, R.E., Lynch, N.A., Selman, A.L.: A Comparison of Polynomial-Time Reducibilities. Theoretical Computer Science\u00a01(2), 103\u2013124 (1975)","journal-title":"Theoretical Computer Science"},{"unstructured":"Martin, B.: Dichotomies and Duality in First-order Model Checking Problems. CoRR abs\/cs\/0609022 (2006)","key":"4_CR5"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-540-69407-6_45","volume-title":"Logic and Theory of Algorithms","author":"B. Martin","year":"2008","unstructured":"Martin, B.: First-Order Model Checking Problems Parameterized by the Model. In: Beckmann, A., Dimitracopoulos, C., L\u00f6we, B. (eds.) CiE 2008. LNCS, vol.\u00a05028, pp. 417\u2013427. Springer, Heidelberg (2008)"},{"unstructured":"Vollmer, H.: Complexity of Constraints (A collection of survey articles). LNCS, vol.\u00a05250. Springer, Heidelberg (2008)","key":"4_CR7"}],"container-title":["Lecture Notes in Computer Science","Mathematical Theory and Computational Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03073-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T00:15:07Z","timestamp":1552090507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03073-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030727","9783642030734"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03073-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}