{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:41:05Z","timestamp":1729662065653,"version":"3.28.0"},"reference-count":46,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.1997.614962","type":"proceedings-article","created":{"date-parts":[[2002,11,22]],"date-time":"2002-11-22T21:45:27Z","timestamp":1038001527000},"page":"362-372","source":"Crossref","is-referenced-by-count":11,"title":["Set constraints with intersection"],"prefix":"10.1109","author":[{"given":"W.","family":"Charatonik","sequence":"first","affiliation":[]},{"given":"A.","family":"Podelski","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1016\/0743-1066(94)90044-2"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1016\/0020-0190(94)00130-8"},{"year":"0","journal-title":"A full version Technical report","key":"ref17b"},{"doi-asserted-by":"publisher","key":"ref17a","DOI":"10.1109\/SFCS.1993.366850"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1007\/3-540-60299-2_11"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/BFb0013838"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1109\/LICS.1990.113733"},{"key":"ref30","first-page":"703","article-title":"Applications of a canonical form for generalized linear constraints","author":"lassez","year":"1988","journal-title":"Proceedings of the International Conference on 5th Generation Computer Systems"},{"key":"ref37","first-page":"456","article-title":"Automatic computation of data set definitions","volume":"68","author":"reynolds","year":"1969","journal-title":"Information Processing"},{"key":"ref36","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030609","article-title":"Inclusion constraints over non-empty sets of trees","author":"m\ufffdller","year":"1997","journal-title":"Proceedings of the 9th International Joint Conference on Theory and Practice of Software Development (TAPSOFT)"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1145\/318593.318603"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1109\/LICS.1996.561313"},{"doi-asserted-by":"publisher","key":"ref9a","DOI":"10.1007\/BFb0016862"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/LICS.1994.316078"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1109\/LICS.1994.316077"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/SFCS.1994.365727"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/3-540-61551-2_67"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/3-540-61440-0_123"},{"key":"ref14","first-page":"85","article-title":"Equations and inequations on finite and infinite trees","author":"colmerauer","year":"1984","journal-title":"Proceedings of the 2nd International Conference on Fifth Generation Computer Systems"},{"year":"0","journal-title":"Information and Computation","key":"ref9b"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/LICS.1991.151654"},{"key":"ref16","first-page":"505","article-title":"Solving systems of set constraints using tree automata","volume":"665","author":"gilleron","year":"1993","journal-title":"16th Annual Symposium on Theoretical Aspects of Computer Science"},{"year":"1992","author":"heintze","journal-title":"Set Based Program Analysis","key":"ref18"},{"year":"1993","author":"heintze","doi-asserted-by":"crossref","journal-title":"Set based analysis of arithmetic","key":"ref19","DOI":"10.21236\/ADA274112"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/LICS.1992.185545"},{"key":"ref27","first-page":"175","article-title":"Logical aspects of set constraints","volume":"832","author":"kozen","year":"1993","journal-title":"1993 Conference on Computer Science Logic"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/99583.99621"},{"doi-asserted-by":"publisher","key":"ref28a","DOI":"10.1007\/BFb0016861"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/3-540-56944-8_37"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/3-540-59293-8_186"},{"year":"0","journal-title":"Information and Computation","key":"ref28b"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/174675.177847"},{"doi-asserted-by":"publisher","key":"ref26a","DOI":"10.1006\/jcss.1995.1051"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/LICS.1993.287598"},{"year":"1990","journal-title":"Proc 9th ACM PODS","first-page":"299","key":"ref26b"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/0304-3975(94)90209-7"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1006\/inco.1995.1139"},{"key":"ref1","first-page":"1","article-title":"The complexity of set constraints","volume":"832","author":"aiken","year":"1993","journal-title":"1993 Conference on Computer Science Logic"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/LICS.1990.113732"},{"year":"1991","author":"heintze","journal-title":"A decision procedure for a class of set constraints","first-page":"42","key":"ref22"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/96709.96729"},{"year":"1988","author":"young","journal-title":"Partial Evaluation and Mixed Computation","first-page":"573","key":"ref42"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1145\/113413.113429"},{"key":"ref41","first-page":"163","article-title":"Sorted unification using set constraints","volume":"607","author":"uribe","year":"1992","journal-title":"10th International Conference on Automated Deduction"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/3-540-58601-6_107"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/567752.567776"}],"event":{"acronym":"LICS-97","name":"Twelfth Annual IEEE Symposium on Logic in Computer Science","location":"Warsaw, Poland"},"container-title":["Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx3\/4856\/13410\/00614962.pdf?arnumber=614962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,18]],"date-time":"2018-01-18T19:56:03Z","timestamp":1516305363000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/614962\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/lics.1997.614962","relation":{},"subject":[]}}