Media type: E-Article Title: Lecture Notes in Computer Science: Extensional Set Library for ECLiPSe Contributor: Yakhno, Tatyana; Petrov, Evgueni imprint: Springer Berlin Heidelberg, 2000 Published in: Lecture Notes in Computer Science Language: Not determined DOI: 10.1007/3-540-46562-6_39 ISSN: 0302-9743 Origination: Footnote: