{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:19Z","timestamp":1725494659469},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671022"},{"type":"electronic","value":"9783540465621"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46562-6_39","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T19:12:56Z","timestamp":1194981176000},"page":"434-444","source":"Crossref","is-referenced-by-count":1,"title":["Extensional Set Library for ECLiPSe"],"prefix":"10.1007","author":[{"given":"Tatyana","family":"Yakhno","sequence":"first","affiliation":[]},{"given":"Evgueni","family":"Petrov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,1,28]]},"reference":[{"key":"39_CR1","unstructured":"Alexander Aiken and Edward L. Wimmers. Solving systems of set constraints. In IEEE Symp. on Logic in Comput. Sci., June 1992."},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"L. Bachmair, H. Ganzinger, and U. Waldmann. Set constraints are the monadic class. In Proc. of the LICS\u201993, 1993.","DOI":"10.1109\/LICS.1993.287598"},{"key":"39_CR3","volume-title":"Management Science","author":"N. Christofides","year":"1975","unstructured":"Nicolos Christofides. Graph theory: an Algorithmic Approach. Management Science. Academic Press, Imperial College, London, 1975."},{"key":"39_CR4","unstructured":"Agustino Dovier and G. Rossi. Embedding extensional finite sets in CLP. In Proc. 3rd Int. Logic Programming Symp., Vancouver, Canada, 1993."},{"key":"39_CR5","unstructured":"Carmen Gervet. Conjunto: Constraint logic programming with finite set domains. In M. Bruynooghe, editor, ILPS\u201994: Proc. 4th Int. Logic Programming Symp., pages 339\u2013358, 1994."},{"key":"39_CR6","unstructured":"N. Heintze and J. Jaffar. A decision procedure for a class of set constraints. In IEEE Symp. on Logic in Comput. Sci., July 1991."},{"key":"39_CR7","unstructured":"P. M. Hill and J. W. LLoyd. The G\u0151del programming language (CSTR 92-27). Bristol University, 1992."},{"key":"39_CR8","volume-title":"International Mathematical Contests","author":"S. V. Konyagin","year":"1987","unstructured":"S. V. Konyagin, G. A. Tonoyan, I. F. Sharygin, I. A. Kopylov, M. B. Cevryuk, M. L. Sitnikov, O. A. Baiborodin, V. P. Burichenko, G. V. Golovin, D. O. Orlov, L. B. Parnovski, T. A. Sokova, I. V. Stetsenko, V. V. Titenko, and S. A. Filippov. International Mathematical Contests. Moskva: Nauka, 1987."},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"Bruno Legeard and E. Legros. Short overview of the CLPS system. In Proc. PLILP\u201991, Passau, Germany, August 1991.","DOI":"10.1007\/3-540-54444-5_123"},{"issue":"1","key":"39_CR10","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Alan K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"39_CR11","first-page":"443","volume":"2","author":"A. S. Narinyani","year":"1983","unstructured":"Alexander S. Narinyani. Subdefiniteness and basic means of knowledge representation. Computers and Artificial Intelligence, 2(5):443\u2013452, 1983.","journal-title":"Computers and Artificial Intelligence"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, and E. Schonberg. Programming with Sets. An Introduction to SETL. Texts and Monographs in Computer Science. Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4613-9575-1"},{"key":"39_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: a Modelling Language for Global Optimization","author":"P. Hentenryck Van","year":"1997","unstructured":"Pascal Van Hentenryck, Laurent Michel, and Yves Deville. Numerica: a Modelling Language for Global Optimization. The MIT Press, Cambridge, MA, 1997."},{"key":"39_CR14","unstructured":"Clifford Walinsky. CLP(\u03a3*): Constraint logic programming with regular sets. In Giorgio Levi and Maurizio Martelli, editors, Proc.6th Int.Conf. on Logic Programming, pages 181\u2013196, Lisbon, Portugal, June 1989. The MIT Press."},{"key":"39_CR15","first-page":"357","volume-title":"Practical Application of Constraint Technology","author":"T. M. Yakhno","year":"1996","unstructured":"Tatyana M. Yakhno and Evgueni S. Petrov. LogiCalc: integrating constraint programming and subdefinite models. In Practical Application of Constraint Technology, pages 357\u2013372, Westminster Central Hall, London, UK, April 1996."},{"key":"39_CR16","unstructured":"Tatyana M. Yakhno, Vyatcheslav Z. Zilberfaine, and Evgueni S. Petrov. Applications of ECLiPSe: Interval Domain library. The ICL Systems Journal, pages 35\u201350, November 1997."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46562-6_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:24:45Z","timestamp":1684074285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46562-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671022","9783540465621"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46562-6_39","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}