{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:35:08Z","timestamp":1759638908975,"version":"3.41.0"},"reference-count":36,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003407","name":"Ministero dell'Istruzione, dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["PRIN 2005015491"],"award-info":[{"award-number":["PRIN 2005015491"]}],"id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2008,6]]},"abstract":"<jats:p>Lists, multisets, and sets are well-known data structures whose usefulness is widely recognized in various areas of computer science. They have been analyzed from an axiomatic point of view with a parametric approach in Dovier et al. [1998], where the relevant unification algorithms have been developed. In this article, we extend these results considering more general constraints, namely, equality and membership constraints and their negative counterparts.<\/jats:p>","DOI":"10.1145\/1352582.1352583","type":"journal-article","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T13:30:05Z","timestamp":1213104605000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["A uniform approach to constraint-solving for lists, multisets, compact lists, and sets"],"prefix":"10.1145","volume":"9","author":[{"given":"Agostino","family":"Dovier","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Udine, Udine, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Udine, Udine, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianfranco","family":"Rossi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Parma, Parma, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,6,12]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"1","article-title":"From set to hyperset unification","volume":"10","author":"Aliffi D.","year":"1999","journal-title":"J. Funct. Logic Program."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90140-5"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Baader F. and Nipkow T. 1998. Term Rewriting and All That. Cambridge University Press Cambridge U.K.]]   Baader F. and Nipkow T. 1998. Term Rewriting and All That. Cambridge University Press Cambridge U.K.]]","DOI":"10.1017\/CBO9781139172752"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00277-0"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0009"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/151233.151242"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90036-O"},{"volume-title":"Proceedings of the International Conference on Automated Deduction","author":"B\u00fcckert H.","key":"e_1_2_1_8_1"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/22289.22324"},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Cantone D. Omodeo E. G. and Policriti A. 2001. Set Theory for Computing. From Decision Procedures to Declarative Programming with Sets. Monographs in Computer Science. Springer New York NY.]]   Cantone D. Omodeo E. G. and Policriti A. 2001. Set Theory for Computing. From Decision Procedures to Declarative Programming with Sets. Monographs in Computer Science. Springer New York NY.]]","DOI":"10.1007\/978-1-4757-3452-2"},{"key":"e_1_2_1_11_1","unstructured":"Chang C. C. and Keisler H. J. 1973. Model Theory. Studies in Logic. North Holland Amsterdam The Netherlands.]]  Chang C. C. and Keisler H. J. 1973. Model Theory. Studies in Logic. North Holland Amsterdam The Netherlands.]]"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Clark K. L. 1978. Negation as Failure. In Logic and Databases H. Gallaire and J. Minker Eds. Plenum Press New York NY 293--321.]]  Clark K. L. 1978. Negation as Failure. In Logic and Databases H. Gallaire and J. Minker Eds. Plenum Press New York NY 293--321.]]","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90108-6"},{"volume-title":"IFIP 9th World Computer Congress, R. Mason, Ed. North Holland","author":"Corbin J.","key":"e_1_2_1_14_1"},{"volume":"1578","volume-title":"Ed. Lecture Notes in Computer Science","author":"Dantsin E.","key":"e_1_2_1_15_1"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/359138.359142"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(95)00147-6"},{"volume":"1794","volume-title":"Eds. Lecture Notes in Computer Science","author":"Dovier A.","key":"e_1_2_1_18_1"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:CONS.0000006182.84033.6e"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/365151.365169"},{"key":"e_1_2_1_21_1","unstructured":"Dovier A. Piazza C. and Rossi G. 2003. A uniform approach to constraint-solving for lists multisets compact lists and sets. CoRR cs.PL\/030945.]]  Dovier A. Piazza C. and Rossi G. 2003. A uniform approach to constraint-solving for lists multisets compact lists and sets. CoRR cs.PL\/030945.]]"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Dovier A. Policriti A. and Rossi G. 1998. A uniform axiomatic view of lists multisets and sets and the relevant unification algorithms. Fundamenta Informaticae 36 2\/3 201--234.]]   Dovier A. Policriti A. and Rossi G. 1998. A uniform axiomatic view of lists multisets and sets and the relevant unification algorithms. Fundamenta Informaticae 36 2\/3 201--234.]]","DOI":"10.3233\/FI-1998-36235"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002730"},{"volume-title":"Embedding Extensional Finite Sets in CLP. In International Logic Programming Symposium, D. Miller, Ed. MIT Press","author":"Dovier A.","key":"e_1_2_1_24_1"},{"key":"e_1_2_1_25_1","unstructured":"Enderton H. B. 1973. A Mathematical Introduction to Logic 2nd ed. Academic Press New York NY.]]  Enderton H. B. 1973. A Mathematical Introduction to Logic 2nd ed. Academic Press New York NY.]]"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00137870"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1996.0042"},{"key":"e_1_2_1_28_1","unstructured":"Hill P. M. and Lloyd J. W. 1994. The G\u00f6del Programming Language. MIT Press Cambridge MA.]]   Hill P. M. and Lloyd J. W. 1994. The G\u00f6del Programming Language. MIT Press Cambridge MA.]]"},{"key":"e_1_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Jaffar J. and Maher M. J. 1994. Constraint logic programming: A survey. J. Logic Program. 19--20 503--581.]]  Jaffar J. and Maher M. J. 1994. Constraint logic programming: A survey. J. Logic Program. 19--20 503--581.]]","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"e_1_2_1_30_1","unstructured":"Livesey M. and Siekmann J. 1976. Unification of sets and multisets. Tech. rep. Instit\u00fct f\u00fcr Informatik I Universit\u00e4t Karlsruhe Karlsruhe Germany.]]  Livesey M. and Siekmann J. 1976. Unification of sets and multisets. Tech. rep. Instit\u00fct f\u00fcr Informatik I Universit\u00e4t Karlsruhe Karlsruhe Germany.]]"},{"key":"e_1_2_1_31_1","first-page":"262","article-title":"Axiomatizable classes of locally free algebras of various types. In The Metamathematics of Algebraic Systems. North Holland, Amsterdam, The Netherlands","volume":"23","author":"Mal'cev A.","year":"1971","journal-title":"Chapter"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1693"},{"key":"e_1_2_1_33_1","unstructured":"Potter B. Sinclair J. and Till D. 1996. An Introduction to Formal Specification and Z 2nd ed. Prentice Hall Upper Saddle River NJ.]]   Potter B. Sinclair J. and Till D. 1996. An Introduction to Formal Specification and Z 2nd ed. Prentice Hall Upper Saddle River NJ.]]"},{"volume-title":"Sets: An Introduction to","year":"1986","author":"Schwartz J. T.","key":"e_1_2_1_34_1"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(89)80012-4"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/6.6.901"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1352582.1352583","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1352582.1352583","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:39:20Z","timestamp":1750253960000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1352582.1352583"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["10.1145\/1352582.1352583"],"URL":"https:\/\/doi.org\/10.1145\/1352582.1352583","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2008,6]]},"assertion":[{"value":"2005-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2006-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}