{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T03:13:51Z","timestamp":1789701231432,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540212362","type":"print"},{"value":"9783540247494","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24749-4_40","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T15:01:54Z","timestamp":1283958114000},"page":"452-464","source":"Crossref","is-referenced-by-count":10,"title":["Active Context-Free Games"],"prefix":"10.1007","author":[{"given":"Anca","family":"Muscholl","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Schwentick","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luc","family":"Segoufin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"40_CR1","volume-title":"LICS 2001","author":"S. Abiteboul","year":"2001","unstructured":"Abiteboul, S.: Semistructured Data: from Practice to Theory. In: LICS 2001, IEEE Comp. Soc., Los Alamitos (2001)"},{"key":"40_CR2","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/872757.872821","volume-title":"SIGMOD 2003","author":"S. Abiteboul","year":"2003","unstructured":"Abiteboul, S., Bonifati, A., Cobena, G., Manolescu, I., Milo, T.: Dynamic XML documents with distribution and replication. In: SIGMOD 2003, pp. 527\u2013538. ACM, New York (2003)"},{"key":"40_CR3","unstructured":"Active XML, \n                    \n                      http:\/\/www-rocq.inria.fr\/verso\/Gemo\/Projects\/axml"},{"key":"40_CR4","first-page":"51","volume-title":"LICS 2000","author":"A. Blumensath","year":"2000","unstructured":"Blumensath, A., Gr\u00e4del, E.: Automatic structures. In: LICS 2000, pp. 51\u201362. IEEE Comp. Soc., Los Alamitos (2000)"},{"key":"40_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1007\/3-540-45465-9_60","volume-title":"Automata, Languages and Programming","author":"T. Cachat","year":"2002","unstructured":"Cachat, T.: Symbolic Strategy Synthesis for Games on Pushdown Graphs. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol.\u00a02380, pp. 704\u2013715. Springer, Heidelberg (2002)"},{"key":"40_CR6","volume-title":"Automata, Logics, and Infinite Games","year":"2002","unstructured":"Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.): Automata, Logics, and Infinite Games. Springer, Heidelberg (2002)"},{"key":"40_CR7","unstructured":"Jelly: Executable XML, \n                    \n                      http:\/\/jakarta.apache.org\/commons\/sandbox\/jelly"},{"key":"40_CR8","unstructured":"L\u00f6ding, C.: Infinite graphs generated by tree rewriting. PhD thesis, RWTH Aachen (2003)"},{"key":"40_CR9","unstructured":"Macromedia Coldfusion MX, \n                    \n                      http:\/\/www.macromedia.com\/"},{"issue":"1-2","key":"40_CR10","first-page":"264","volume":"156","author":"R. Mayr","year":"2000","unstructured":"Mayr, R.: Process rewrite systems. Theoretical computer science\u00a0156(1-2), 264\u2013286 (2000)","journal-title":"Theoretical computer science"},{"key":"40_CR11","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/872757.872793","volume-title":"SIGMOD 2003","author":"T. Milo","year":"2003","unstructured":"Milo, T., Abiteboul, S., Amann, B., Benjelloun, O., Dang Ngoc, F.: Exchanging Intensional XML Data. In: SIGMOD 2003, pp. 289\u2013300. ACM, New York (2003)"},{"key":"40_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45793-3_2","volume-title":"Computer Science Logic","author":"F. Neven","year":"2002","unstructured":"Neven, F.: Automata, Logic, and XML. In: Bradfield, J.C. (ed.) CSL 2002 and EACSL 2002. LNCS, vol.\u00a02471, pp. 2\u201326. Springer, Heidelberg (2002)"},{"key":"40_CR13","volume-title":"Computational complexity","author":"C. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.: Computational complexity. Addison-Wesley, Reading (1994)"},{"key":"40_CR14","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S0020-0190(02)00445-3","volume":"85","author":"O. Serre","year":"2003","unstructured":"Serre, O.: Note on winning positions on pushdown games with \u03c9-regular conditions. Information Processing Letters\u00a085, 285\u2013291 (2003)","journal-title":"Information Processing Letters"},{"key":"40_CR15","volume-title":"PODS 2001","author":"V. Vianu","year":"2001","unstructured":"Vianu, V.: A Web Odyssey: From Codd to XML. In: PODS 2001, ACM, New York (2001)"},{"issue":"2","key":"40_CR16","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.2000.2894","volume":"164","author":"I. Walukiewicz","year":"2001","unstructured":"Walukiewicz, I.: Pushdown Processes: Games and Model-Checking. Information and Computation\u00a0164(2), 234\u2013263 (2001)","journal-title":"Information and Computation"},{"key":"40_CR17","unstructured":"Web services, \n                    \n                      http:\/\/www.w3.org\/2002\/ws"}],"container-title":["Lecture Notes in Computer Science","STACS 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24749-4_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T01:31:28Z","timestamp":1553045488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24749-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212362","9783540247494"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24749-4_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}