{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:16:31Z","timestamp":1725455791073},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026832","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"397-414","source":"Crossref","is-referenced-by-count":3,"title":["Minimal set unification"],"prefix":"10.1007","author":[{"given":"Puri","family":"Arenas-S\u00e1nchez","sequence":"first","affiliation":[]},{"given":"Agostino","family":"Dovier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Arenas-S\u00e1nchez, P., and Dovier, A. Minimal Set Unification. Technical Report: TR-6\/95, Universit\u00e0 di Pisa, dip. di Informatica, april 1995.","key":"24_CR1","DOI":"10.1007\/BFb0026832"},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0747-7171(87)80065-2","volume":"4","author":"W. B\u00fcttner","year":"1987","unstructured":"B\u00fcttner, W., and Simonis, H. Embedding Boolean Expressions into Logic Programming. Journal of Symbolic Computation 4 (1987), 191\u2013205.","journal-title":"Journal of Symbolic Computation"},{"key":"24_CR3","series-title":"vol. 660 of Lecture Notes in Artificial Intelligence","first-page":"150","volume-title":"Embedding Finite Sets in a Logic Programming Language","author":"A. Dovier","year":"1993","unstructured":"Dovier, A., Omodeo, E., Pontelli, E., and Rossi, G. Embedding Finite Sets in a Logic Programming Language. In 3rdInternational Workshop on Extension of Logic Programming (1993), E. Lamina and P. Mello, Eds., vol. 660 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, pp. 150\u2013167."},{"key":"24_CR4","first-page":"275","volume-title":"vol. 714 of Lecture Notes in Computer Science","author":"A. Dovier","year":"1993","unstructured":"Dovier, A., and Pontelli., E. A WAM based Implementation of a Logic Language with Sets. In Proc. Fifth Int'l Symp. on Programming Language Implementation and Logic Programming (1993), M. Bruynooghe and J. Penjam, Eds., vol. 714 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 275\u2013290."},{"key":"24_CR5","first-page":"540","volume-title":"Embedding Extensional Finite Sets in CLP","author":"A. Dovier","year":"1993","unstructured":"Dovier, A., and Rossi, G. Embedding Extensional Finite Sets in CLP. In Proc. of International Logic Programming Symposium, ILPS'93 (1993), D. Miller, Ed., The MIT Press, Cambridge, Mass., pp. 540\u2013556."},{"key":"24_CR6","first-page":"339","volume-title":"Conjunto: Constraint Logic Programming with Finite Set Domains","author":"C. Gervet","year":"1994","unstructured":"Gervet, C. Conjunto: Constraint Logic Programming with Finite Set Domains. In Proc. of International Logic Programming Symposium, ILPS'94 (1994), M. Bruynooghe, Ed., The MIT Press, Cambridge, Mass., pp. 339\u2013358."},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19-20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., and Maher, M. J. Constraint Logic Programming: A Survey. The Journal of Logic Programming 19-20 (1994), 503\u2013581.","journal-title":"The Journal of Logic Programming"},{"issue":"4","key":"24_CR8","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0743-1066(92)90005-N","volume":"12","author":"B. Jayaraman","year":"1992","unstructured":"Jayaraman, B. Implementation of Subset-Equational Programs. Journal of Logic Programming 12, 4 (1992), 299\u2013324.","journal-title":"Journal of Logic Programming"},{"key":"24_CR9","series-title":"vol. 230 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/3-540-16780-3_113","volume-title":"Proc. 8th CADE","author":"D. Kapur","year":"1986","unstructured":"Kapur, D., Narendran, P. NP-completeness of the set unification and matching problems. In Proc. 8th CADE, 1986, vol. 230 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 489\u2013495."},{"unstructured":"Knuth, D. E. The Art of Computer Programming, vol. 1-Fundamental Algorithms. Addison-Wesley, 1968.","key":"24_CR10"},{"unstructured":"Huet, G. R\u00e9solution d'\u00e9quations dans des langages d'ordre 1,2,...,\u03c9. Th\u00e8se d'\u00c9tat, Univ. de Paris, VII, 1976.","key":"24_CR11"},{"key":"24_CR12","series-title":"vol. 528 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/3-540-54444-5_123","volume-title":"Short overview of the CLPS system","author":"B. Legeard","year":"1991","unstructured":"Legeard, B., and Legros, E. Short overview of the CLPS system. In Proc. Third Int'l Symp. on Programming Language Implementation and Logic Programming (august 1991), J. Maluszynsky and M. Wirsing, Eds., vol. 528 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 431\u2013433."},{"doi-asserted-by":"crossref","unstructured":"Siekmann, J. H. Unification theory. In Unification, C. Kirchner, Ed. Academic Press, 1990.","key":"24_CR13","DOI":"10.1016\/0167-9236(90)90027-O"},{"unstructured":"Stolzenburg, F. An Algorithm for General Set Unification and its Complexity. In Proc. of Workshop on Logic Programming with Sets, in conjunction with ICLP'93 (1993), E. G. Omodeo and G. Rossi, Eds. Budapest.","key":"24_CR14"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:54:07Z","timestamp":1586570047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026832"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0026832","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}