{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,23]],"date-time":"2026-09-23T04:23:28Z","timestamp":1790137408564,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540642305","type":"print"},{"value":"9783540697053","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028580","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T02:33:39Z","timestamp":1132626819000},"page":"444-454","source":"Crossref","is-referenced-by-count":10,"title":["Local normal forms for first-order logic with applications to games and automata"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Schwentick","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Klaus","family":"Barthelmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"issue":"1\u20132","key":"38_CR1","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0304-3975(96)00015-1","volume":"174","author":"S. Arora","year":"1997","unstructured":"Sanjeev Arora and Ronald Fagin. On winning strategies in EhrenfeuchtFra\u00efss\u00e9 games. Theoretical Computer Science, 174(1\u20132):97\u2013121, 1997.","journal-title":"Theoretical Computer Science"},{"key":"38_CR2","doi-asserted-by":"publisher","first-page":"427","DOI":"10.2307\/2273560","volume":"48","author":"K. Compton","year":"1983","unstructured":"K. Compton. Some useful preservation theorems. Journal of Symbolic Logic, 48:427\u2013440, 1983.","journal-title":"Journal of Symbolic Logic"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"G. Dong, L. Libkin, and L. Wong. Local properties of query languages. In Proc. Int. Conf. on Database Theory, LNCS, pages 140\u2013154. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-62222-5_42"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-28788-4"},{"key":"38_CR5","doi-asserted-by":"crossref","first-page":"129","DOI":"10.4064\/fm-49-2-129-141","volume":"49","author":"A. Ehrenfeucht","year":"1961","unstructured":"A. Ehrenfeucht. An application of games to the completeness problem for formalized theories. Fund. Math., 49:129\u2013141, 1961.","journal-title":"Fund. Math."},{"key":"38_CR6","unstructured":"R. Fagin. Generalized first-order spectra and polynomial-time recognizable sets. In R. M. Karp, editor, Complexity of Computation, SIAM-AMS Proceedings, Vol. 7, pages 43\u201373, 1974."},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"R. Fagin. Easier ways to win logical games. In Proceedings of the DIMACS Workshop on Finite Models and Descriptive Complexity. American Mathematical Society, 1997.","DOI":"10.1090\/dimacs\/031\/01"},{"key":"38_CR8","first-page":"35","volume":"1","author":"R. Fra\u00efss\u00e9","year":"1954","unstructured":"R. Fra\u00efss\u00e9. Sur quelques classifications des syst\u00e8mes de relations. Publ. Sci. Univ. Alger. S\u00e9r. A, 1:35\u2013182, 1954.","journal-title":"Publ. Sci. Univ. Alger. S\u00e9r. A"},{"key":"38_CR9","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1006\/inco.1995.1100","volume":"120","author":"R. Fagin","year":"1995","unstructured":"R. Fagin, L. Stockmeyer, and M. Vardi. On monadic NP vs. monadic coNP. Information and Computation, 120:78\u201392, 1995. Preliminaxy version appeared in 1993 IEEE Conference on Structure in Complexity Theory, pp. 19\u201330.","journal-title":"Information and Computation"},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"H. Gaifman. On local and nonlocal properties. In J. Stern, editor, Logic Colloquium '81, pages 105\u2013135. North Holland, 1982.","DOI":"10.1016\/S0049-237X(08)71879-2"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"W. Hanf. Model-theoretic methods in the study of elementary logic. In J. Addison, L. Henkin, and A. Tarski, editors, The Theory of Models, pages 132\u2013145. North Holland, 1965.","DOI":"10.1016\/B978-0-7204-2233-7.50020-4"},{"key":"38_CR12","doi-asserted-by":"crossref","unstructured":"L. Libkin. On the forms of locality over finite models. In Proc. 12th IEEE Symp. on Logic in Computer Science, 1997.","DOI":"10.1109\/LICS.1997.614948"},{"key":"38_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0168-0072(95)00030-5","volume":"79","author":"T. Schwentick","year":"1996","unstructured":"T. Schwentick. On winning Ehrenfeucht games and monadic NP. Annals of Pure and Applied Logic, 79:61\u201392, 1996.","journal-title":"Annals of Pure and Applied Logic"},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"W. Thomas. On logics, tilings and automata. In Proc. ICALP'91, number 510 in Lecture Notes in Computer Science, pages 441-453. Springer, 1991. [Tho97] W. Thomas. Automata theory on trees and partial orders. In Proc. TAPSOFT'97, number 1214 in Lecture Notes in Computer Science, pages 20\u201338. Springer, 1997.","DOI":"10.1007\/BFb0030586"}],"container-title":["Lecture Notes in Computer Science","STACS 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:54:38Z","timestamp":1586559278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028580"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540642305","9783540697053"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0028580","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}