{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:38:44Z","timestamp":1752460724953},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615514"},{"type":"electronic","value":"9783540706205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61551-2_92","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:56:35Z","timestamp":1330293395000},"page":"436-450","source":"Crossref","is-referenced-by-count":2,"title":["Constraint Logic Programming over unions of Constraint theories"],"prefix":"10.1007","author":[{"given":"Cesare","family":"Tinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehdi","family":"Harandi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Franz Baader and Klaus U. Schulz. Unification in the union of disjoint equational theories: Combining decision procedures. In Proceedings of the 11th International Conference on Automated Deduction, volume 607 of Lecture Notes in Artificial Intelligence, pages 50\u201365. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55602-8_155"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Franz Baader and Klaus U. Schulz. Combination of constraint solving techniques: An algebraic point of view. In Proceedings of the 6th International Conference on Rewriting Techniques and Applications, volume 914 of Lecture Notes in Computer Science, pages 50\u201365. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59200-8_69"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Franz Baader and Klaus U. Schulz. On the combination of symbolic constraints, solution domains, and constraint solvers. In Proceedings of the First International Conference on Principles and Practice of Constraint Programming, Cassis (France), September 1995.","DOI":"10.1007\/3-540-60299-2_23"},{"issue":"6","key":"31_CR4","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1006\/jsco.1993.1066","volume":"16","author":"A. Boudet","year":"1993","unstructured":"Alexandre Boudet. Combining unification algorithms. Journal of Symbolic Computation, 16(6):597\u2013626, December 1993.","journal-title":"Journal of Symbolic Computation"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"E. Domenjoud, F. Klay, and C. Ringeissen. Combination techniques for nondisjoint equational theories. In A. Bundy, editor, Proceedings 12th International Conference on Automated Deduction, Nancy (France), volume 814 of Lecture Notes in Artificial Intelligence, pages 267\u2013281. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58156-1_19"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"A. Herold. Combination of unification algorithms. In J. Siekmann, editor, Proceedings 8th International Conference on Automated Deduction, Oxford (UK), volume 230 of Lecture Notes in Artificial Intelligence, pages 450\u2013469. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16780-3_111"},{"key":"31_CR7","unstructured":"Markus H\u00f6hfeld and Gert Smolka. Definite relations over constraint languages. Journal of Logic Programming, 1991."},{"key":"31_CR8","volume-title":"Technical Report 86\/74","author":"J. Jaffar","year":"1986","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint Logic Programming. Technical Report 86\/74, Monash University, Victoria, Australia, June 1986."},{"key":"31_CR9","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Joxan Jaffar and Michael Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19\/20:503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"31_CR10","unstructured":"H\u00e9l\u00e8ne Kirchner and Christophe Ringeissen. A constraint solver in finite algebras and its combination with unification algorithms. In K. Apt, editor, Proc. Joint International Conference and Symposium on Logic Programming, pages 225\u2013239. MIT Press, 1992."},{"key":"31_CR11","first-page":"858","volume-title":"Logic semantics for a class of committed-choice programs","author":"M. Maher","year":"1987","unstructured":"Michael Maher. Logic semantics for a class of committed-choice programs. In Jean-Louis Lassez, editor, ICLP'87: Proceedings 4th International Conference on Logic Programming, pages 858\u2013876, Melbourne, May 1987. MIT."},{"key":"31_CR12","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1090\/conm\/029\/11","volume":"29","author":"G. Nelson","year":"1984","unstructured":"Greg Nelson. Combining satisfiability procedures by equality-sharing. Contemporary Mathematics, 29:201\u2013211, 1984.","journal-title":"Contemporary Mathematics"},{"issue":"2","key":"31_CR13","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1979","unstructured":"Greg Nelson and Derek C. Oppen. Simplification by cooperating decision procedures. ACM Trans. on Programming Languages and Systems, 1(2):245\u2013257, October 1979.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"issue":"1-2","key":"31_CR14","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0747-7171(89)80022-7","volume":"8","author":"M. Schmidt-Schau\u00df","year":"1989","unstructured":"Manfred Schmidt-Schau\u00df. Combination of unification algorithms. Journal of Symbolic Computation, 8(1-2):51\u2013100, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"31_CR15","volume-title":"Mathematical Logic","author":"J. R. Shoenfield","year":"1967","unstructured":"Joseph. R. Shoenfield. Mathematical Logic. Addison-Wesley, Reading, MA, 1967."},{"key":"31_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2422.322411","volume":"31","author":"R. E. Shostak","year":"1984","unstructured":"Robert E. Shostak. Deciding combinations of theories. Journal of the ACM, 31:1\u201312, 1984.","journal-title":"Journal of the ACM"},{"key":"31_CR17","volume-title":"Master's thesis","author":"C. Tinelli","year":"1995","unstructured":"Cesare Tinelli. Extending the CLP scheme to unions of constraint theories. Master's thesis, Department of Computer Science, University of Illinois, Urbana-Champaign, Illinois, October 1995."},{"key":"31_CR18","volume-title":"Proceedings of the 1st International Workshop \u201cFrontiers of Combining Systems\u201d","author":"C. Tinelli","year":"1996","unstructured":"Cesare Tinelli and Mehdi Harandi. A new correctness proof of the Nelson-Oppen combination procedure. In (to appear in) Proceedings of the 1st International Workshop \u201cFrontiers of Combining Systems\u201d, Munich (Germany), Applied Logic. Kluwer, 1996."},{"issue":"1-2","key":"31_CR19","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0747-7171(87)80025-1","volume":"3","author":"K. Yelik","year":"1987","unstructured":"K. Yelik. Unification in combinations of collapse-free regular theories. Journal of Symbolic Computation, 3(1-2):153\u2013182, April 1987.","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61551-2_92.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:45:16Z","timestamp":1640947516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61551-2_92"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615514","9783540706205"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-61551-2_92","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}