{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:17Z","timestamp":1725664217010},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580256"},{"type":"electronic","value":"9783540484172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58025-5_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:08:13Z","timestamp":1330250893000},"page":"77-93","source":"Crossref","is-referenced-by-count":1,"title":["A language with finite sets embedded in the CLP-scheme"],"prefix":"10.1007","author":[{"given":"Agostino","family":"Dovier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"C. Beeri, S. Naqvi et al. Set and Negation in a Logic Database Language. In Proceedings 6 th ACM SIGMOD Symposium, 1987.","DOI":"10.1145\/28659.28662"},{"key":"7_CR2","unstructured":"D. Chan. Constructive negation based on the completed databases. In Proceedings 1988 Conference and Symposium on Logic Programming, Seattle, Washington."},{"key":"7_CR3","unstructured":"A. Dovier, E.G. Omodeo, E. Pontelli, and G. Rossi, {log}: A Logic Programming Language with Finite Sets. In Logic Programming: Proceedings of the Eighth International Conference (K.Furukawa, ed.), The MIT Press, 1991, 111\u2013124."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"A. Dovier, E.G. Omodeo, E. Pontelli and G. Rossi. Embedding Finite Sets in a Logic Programming Language. Research Report, University of Rome, \u201cLa Sapienza\u201d, 1993.","DOI":"10.1007\/3-540-56454-3_8"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"A. Dovier, E.G. Omodeo, E. Pontelli, and G. Rossi. Embedding Finite Sets in a Logic Programming Language. In E. Lamina, P. Mello eds, No. 660 of Lecture Notes in Artificial Intelligence, Springer Verlag.","DOI":"10.1007\/3-540-56454-3_8"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.L. Lassez. Constraint Logic Programming. Research Report, June 1986.","DOI":"10.1145\/41625.41635"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"G.M. Kuper. Logic Programming with Sets. In Proceedings 6 th ACM SIGMOD Symposium, 1987.","DOI":"10.1145\/28659.28661"},{"key":"7_CR8","volume-title":"Research Report","author":"B. Legeard","year":"1991","unstructured":"B. Legeard and E. Legros. CLPS: A Set Constraint Logic Programming Language. Research Report, Laboratoire d'automatique de Besan\u00e7on. Institut de Productique, Besan\u00e7on, France, 1991."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag series Symbolic Computation \u2014 Artificial Intelligence, 2nd edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"7_CR10","unstructured":"E.G. Omodeo, A. Policriti and G. Rossi. Che genere di Insiemi-Multiinsiemi-Iperinsiemi incorporare nella Programmazione Logica? In \u2018GULP 93', Proceedings of 8 th Conference on Locgic Programming. Gizzeria Lido, Italy, 1993."},{"key":"7_CR11","volume-title":"Research Report","author":"A. Policriti","year":"1992","unstructured":"A. Policriti and J.T.Schwartz. T-Theorem Proving. Research Report, University of Udine and Courant Institute of Mathematical Sciences, New York, 1992."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"P.J. Stuckey. Constructive Negation for Constraint Logic Programming. In Proc. Sixth IEEE Symp. on Logic In Computer Science. IEEE Computer Society Press, 1991.","DOI":"10.1109\/LICS.1991.151657"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58025-5_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:16:18Z","timestamp":1605629778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58025-5_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580256","9783540484172"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58025-5_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}