{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:44:57Z","timestamp":1742964297251,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319135236"},{"type":"electronic","value":"9783319135243"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13524-3_11","type":"book-chapter","created":{"date-parts":[[2014,12,2]],"date-time":"2014-12-02T17:51:38Z","timestamp":1417542698000},"page":"122-134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Quantified Conjunctive Queries on Partially Ordered Sets"],"prefix":"10.1007","author":[{"given":"Simone","family":"Bova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Ganian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Szeider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,3]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Bova, S., Ganian, R., Szeider, S.: Model checking existential logic on partially ordered sets. In: CSL-LICS. Preprint in CoRR. abs\/1405.2891 (2014)","DOI":"10.1145\/2603088.2603110"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bova, S., Ganian, R., Szeider, S.: Quantified conjunctive queries on partially ordered sets. Preprint in CoRR, abs\/1408.4263 (2014)","DOI":"10.1007\/978-3-319-13524-3_11"},{"issue":"9","key":"11_CR3","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1016\/j.ic.2009.05.003","volume":"207","author":"F B\u00f6rner","year":"2009","unstructured":"B\u00f6rner, F., Bulatov, A., Chen, H., Jeavons, P., Krokhin, A.: The complexity of constraint satisfaction games and QCSP. Inform. Comput. 207(9), 923\u2013944 (2009)","journal-title":"Inform. Comput."},{"key":"11_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139005135","volume-title":"Finite Ordered Sets","author":"N Caspard","year":"2012","unstructured":"Caspard, N., Leclerc, B., Monjardet, B.: Finite Ordered Sets. Cambridge University Press, Cambridge (2012)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Chen, H., Dalmau, V.: Decomposing quantified conjunctive (or Disjunctive) formulas. In: LICS (2012)","DOI":"10.1109\/LICS.2012.31"},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/0890-5401(90)90043-H","volume":"85","author":"B Courcelle","year":"1990","unstructured":"Courcelle, B.: The monadic second-order logic of graphs I: recognizable sets of finite graphs. Inform. Comput. 85(1), 12\u201375 (1990)","journal-title":"Inform. Comput."},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s002249910009","volume":"33","author":"B Courcelle","year":"2000","unstructured":"Courcelle, B., Makowsky, J.A., Rotics, U.: Linear time solvable optimization problems on graphs of bounded clique-width. Theor. Comput. Syst. 33(2), 125\u2013150 (2000)","journal-title":"Theor. Comput. Syst."},{"key":"11_CR8","volume-title":"Parameterized Complexity Theory","author":"J Flum","year":"2006","unstructured":"Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer, Berlin (2006)"},{"volume-title":"Handbook of Combinatorics","year":"1995","key":"11_CR9","unstructured":"Graham, R.L., Gr\u00f6tschel, M., Lov\u00e1sz, L. (eds.): Handbook of Combinatorics, vol. 1. MIT Press, Cambridge (1995)"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1206035.1206036","volume":"54","author":"M Grohe","year":"2007","unstructured":"Grohe, M.: The complexity of homomorphism and constraint satisfaction problems seen from the other side. J. ACM 54(1), 1\u201324 (2007)","journal-title":"J. ACM"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Grohe, M., Kreutzer, S.: Methods for algorithmic meta theorems. In: Model Theoretic Methods in Finite Combinatorics, pp. 181\u2013206. AMS, Providence (2011)","DOI":"10.1090\/conm\/558\/11051"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Grohe, M., Kreutzer, S., Siebertz, S.: Deciding first-order properties of nowhere dense graphs. In: STOC, 2014. Preprint in CoRR. abs\/131.3899 (2013)","DOI":"10.1145\/2591796.2591851"},{"key":"11_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-27875-4","volume-title":"Sparsity","author":"J Ne\u0161et\u0159il","year":"2012","unstructured":"Ne\u0161et\u0159il, J., de Mendez, P.O.: Sparsity. Springer, Berlin (2012)"},{"issue":"1\u20132","key":"11_CR14","first-page":"165","volume":"28","author":"VR Pratt","year":"1996","unstructured":"Pratt, V.R., Tiuryn, J.: Satisfiability of inequalities in a poset. Fund. Inform. 28(1\u20132), 165\u2013182 (1996)","journal-title":"Fund. Inform."},{"issue":"6","key":"11_CR15","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1017\/S0960129500070079","volume":"6","author":"D Seese","year":"1996","unstructured":"Seese, D.: Linear time computable problems and first-order descriptions. Math. Struct. Comp. Sci. 6(6), 505\u2013526 (1996)","journal-title":"Math. Struct. Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","Parameterized and Exact Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13524-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T01:39:28Z","timestamp":1674178768000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-13524-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319135236","9783319135243"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13524-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"3 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}