{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:09:05Z","timestamp":1742983745433,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540230243"},{"type":"electronic","value":"9783540301240"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30124-0_35","type":"book-chapter","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T12:27:59Z","timestamp":1267532879000},"page":"458-472","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Set Constraints on Regular Terms"],"prefix":"10.1007","author":[{"given":"Pawe\u0142","family":"Rychlikowski","sequence":"first","affiliation":[]},{"given":"Tomasz","family":"Truderung","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2004,9,9]]},"reference":[{"key":"35_CR1","first-page":"1","volume-title":"Proceedings of CSL 1993","author":"A. Aiken","year":"1993","unstructured":"Aiken, A., Kozen, D., Vardi, M., Wimmers, E.L.: The complexity of set constraints. In: Proceedings of CSL 1993, pp. 1\u201317. Springer, Heidelberg (1993)"},{"key":"35_CR2","first-page":"43","volume-title":"Proceedings of the First International Static Analysis Symposium","author":"A. Aiken","year":"1994","unstructured":"Aiken, A., Lakshman, T.K.: Directional type checking of logic programs. In: Charlier, B.L. (ed.) Proceedings of the First International Static Analysis Symposium, pp. 43\u201360. Springer, Heidelberg (1994)"},{"key":"35_CR3","first-page":"163","volume-title":"Proceedings of POPL 1994","author":"A. Aiken","year":"1994","unstructured":"Aiken, A., Lakshman, T.K., Wimmers, E.: Soft typing with conditional types. In: Proceedings of POPL 1994, pp. 163\u2013173. ACM Press, New York (1994)"},{"key":"35_CR4","first-page":"329","volume-title":"Proceedings of LICS 1992","author":"A. Aiken","year":"1992","unstructured":"Aiken, A., Wimmers, E.: Solving systems of set constraints. In: Proceedings of LICS 1992, pp. 329\u2013340. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"35_CR5","first-page":"75","volume-title":"Proceedings of LICS 1993","author":"L. Bachmair","year":"1993","unstructured":"Bachmair, L., Ganzinger, H., Waldmann, U.: Set constraints are the monadic class. In: Proceedings of LICS 1993, pp. 75\u201383. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"35_CR6","unstructured":"Charatonik, W.: Automata on dag representations of finite trees, Tech. report, Max-Planck-Institut fr Informatik (1999)"},{"key":"35_CR7","unstructured":"Colmerauer, A.: Prolog II reference manual and theoretical model, Universite de la Mediterranee Aix-Marseille II (1982)"},{"key":"35_CR8","first-page":"642","volume-title":"FOCS 1994","author":"W. Charatonik","year":"1994","unstructured":"Charatonik, W., Pacholski, L.: Set constraints with projections are in NEXPTIME. In: FOCS 1994, pp. 642\u2013653. IEEE Comp. Society Press, Los Alamitos (1994)"},{"key":"35_CR9","first-page":"362","volume-title":"Proceedings of LICS 1997","author":"W. Charatonik","year":"1997","unstructured":"Charatonik, W., Podelski, A.: Set constraints with intersection. In: Proceedings of LICS 1997, pp. 362\u2013372. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"35_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BFb0052372","volume-title":"Rewriting Techniques and Applications","author":"W. Charatonik","year":"1998","unstructured":"Charatonik, W., Podelski, A.: Co-definite set constraints. In: Nipkow, T. (ed.) RTA 1998. LNCS, vol.\u00a01379, pp. 211\u2013225. Springer, Heidelberg (1998)"},{"key":"35_CR11","first-page":"177","volume-title":"Proceedings of the European Symposium on Programming","author":"W. Charatonik","year":"1999","unstructured":"Charatonik, W., Podelski, A., M\u00fcller, M.: Set-based failure analysis for logic programs and concurrent constraint programs. In: Proceedings of the European Symposium on Programming, pp. 177\u2013192. Springer, Heidelberg (1999)"},{"key":"35_CR12","first-page":"372","volume-title":"Proceedings of FOCS 1993","author":"R. Gilleron","year":"1993","unstructured":"Gilleron, R., Tison, S., Tommasi, M.: Solving systems of set constraints with negated subset relationships. In: Proceedings of FOCS 1993, pp. 372\u2013380. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"35_CR13","first-page":"42","volume-title":"Proceedings of LICS 1990","author":"N. Heintze","year":"1990","unstructured":"Heintze, N., Jaffar, J.: A decision procedure for a class of set constraints. In: Proceedings of LICS 1990, pp. 42\u201351. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"35_CR14","first-page":"281","volume-title":"Proceedings of CP 1994","author":"N. Heintze","year":"1994","unstructured":"Heintze, N., Jaffar, J.: Set constraints and set-based analysis. In: Proceedings of CP 1994, pp. 281\u2013298. Springer, Heidelberg (1994)"},{"key":"35_CR15","volume-title":"Introduction to automata theory, languages and computation","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft, J., Ullman, J.: Introduction to automata theory, languages and computation. Addison-Wesley, Reading (1979)"},{"key":"35_CR16","series-title":"LICS 1996","first-page":"138","volume-title":"Tarskian set constraints","author":"D.A. McAllester","year":"1996","unstructured":"McAllester, D.A., Givan, R., Witty, C., Kozen, D.: Tarskian set constraints. LICS 1996, pp. 138\u2013147. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"35_CR17","unstructured":"Wielemaker, J.: SWI-Prolog 5.1 reference manual (2003)"},{"key":"35_CR18","unstructured":"Wallace, M., Novello, S., Schimpf, J.: ECLiPSe: A Platform for Constraint Logic Programming. Tech. report, IC-Parc, Imperial College, London (1997)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30124-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,22]],"date-time":"2020-01-22T20:03:25Z","timestamp":1579723405000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30124-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230243","9783540301240"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30124-0_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]},"assertion":[{"value":"9 September 2004","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}