{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:39Z","timestamp":1725664239895},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:14:15Z","timestamp":1330280055000},"page":"380-397","source":"Crossref","is-referenced-by-count":5,"title":["On the combination of symbolic constraints, solution domains, and constraint solvers"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus U.","family":"Schulz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"23_CR1","unstructured":"P. Aczel, \u201cNon-well-founded Sets,\u201d CSLI Lecture Notes 14, Stanford University, 1988."},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(94)90209-7","volume":"122","author":"H. Ait-Kaci","year":"1994","unstructured":"H. Ait-Kaci, A. Podelski, and G. Smolka, \u201cA feature-based constraint system for logic programming with entailment,\u201d Theoretical Comp. Science 122, 1994, pp. 263\u2013283.","journal-title":"Theoretical Comp. Science"},{"key":"23_CR3","first-page":"50","volume":"607","author":"F. Baader","year":"1992","unstructured":"F. Baader and K.U. Schulz, \u201cUnification in the union of disjoint equational theories: Combining decision procedures,\u201d in: Proc. CADE-11, LNAI 607, 1992, pp. 50\u201365.","journal-title":"Proc. CADE-11, LNAI"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"F. Baader and K.U. Schulz, \u201cCombination techniques and decision problems for disunification,\u201d in: Proc. RTA-9S, LNCS 690, 1993.","DOI":"10.1007\/3-540-56868-9_23"},{"key":"23_CR5","unstructured":"F. Baader and K.U. Schulz, \u201cCombination of Constraint Solving Techniques: An Algebraic Point of View,\u201d Research Report CIS-Rep-94-75, University Munich, 1994; short version in: Proc. RTA'95, Springer LNCS 914, 1995."},{"key":"23_CR6","unstructured":"F. Baader and K.U. Schulz, \u201cOn the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers,\u201d Research Report CIS-Rep-94-82, University Munich, 1994. Long version of this paper, available via anonymous ftp from ftp.cis.uni-muenchen.de, directory \u201cschulz\u201d, file name \u201cSCstructures.ps.z\u201d."},{"key":"23_CR7","first-page":"292","volume":"449","author":"A. Boudet","year":"1990","unstructured":"A. Boudet, \u201cUnification in a combination of equational theories: An efficient algorithm,\u201d in: Proc. CADE-10, LNCS 449, 1990, pp. 292\u2013307.","journal-title":"Proc. CADE-10, LNCS"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"G. Cherlin, \u201cModel Theoretic Algebra: Selected Topics,\u201d Springer Lecture Notes in Mathematics 521, 1976.","DOI":"10.1007\/BFb0079565"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer, \u201cAn introduction to PROLOG III,\u201d C. ACM\n33, 1990, pp. 69\u201390.","journal-title":"C. ACM"},{"key":"23_CR10","unstructured":"A. Dovier, E.G. Omodeo, E. Pontellio, G.F. Rossi, \u201cg: A Logic Programming language with finite sets,\u201d in: Logic Programming: Proc. 8th International Conf., The MIT Press, 1991."},{"key":"23_CR11","unstructured":"A. Dovier, G. Rossi, \u201cEmbedding extensional finite sets in CLP,\u201d in: Proc. International Logic Programming Symposium, 1993, pp. 540\u2013556."},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1017\/S0960129500000177","volume":"3","author":"M. Droste","year":"1993","unstructured":"M. Droste, R. G\u00f6bel, \u201cUniversal domains and the amalgamation property,\u201d Math. Struct. in Comp. Science\n3, pp. 137\u2013159, 1993.","journal-title":"Math. Struct. in Comp. Science"},{"issue":"2","key":"23_CR13","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1006\/jsco.1994.1040","volume":"18","author":"H. Kirchner","year":"1994","unstructured":"H. Kirchner and Ch. Ringeissen, \u201cCombining symbolic constraint solvers on algebraic domains,\u201d J. Symbolic Computation, 18(2), 1994, pp. 113\u2013155.","journal-title":"J. Symbolic Computation"},{"key":"23_CR14","first-page":"348","volume-title":"LICS'88","author":"M.J. Maher","year":"1988","unstructured":"M.J. Maher, \u201cComplete axiomatizations of the algebras of finite, rational and infinite trees,\u201d in: Proceedings of Third Annual Symposium on Logic in Computer Science, LICS'88, pp. 348\u2013357, Edinburgh, Scotland, 1988. IEEE Computer Society."},{"key":"23_CR15","volume-title":"Volume 192 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen","author":"A.I. Mal'cev","year":"1973","unstructured":"A.I. Mal'cev, \u201cAlgebraic Systems,\u201d Volume 192 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Springer-Verlag, Berlin, 1973."},{"key":"23_CR16","unstructured":"K. Mukai, \u201cConstraint Logic Programming and the Unification of Information,\u201d doctoral thesis, Dept. of Comp. Science, Faculty of Engineering, Tokyo Institute of Technology, 1991."},{"issue":"No.2","key":"23_CR17","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1979","unstructured":"G. Nelson, D.C. Oppen, \u201cSimplification by Cooperating Decision Procedures,\u201d ACM TOPLAS, Vol. 1, No. 2, October 1979, 245\u2013257.","journal-title":"ACM TOPLAS"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Ch. Ringeissen, \u201cUnification in a combination of equational theories with shared constants and its application to primal algebras,\u201d in: Proc. LPAR'92, LNCS 624, 1992.","DOI":"10.1007\/BFb0013067"},{"key":"23_CR19","unstructured":"W.C. Rounds, \u201cSet Values for Unification Based Grammar Formalisms and Logic Programming,\u201d Research Report CSLI-88-129, Stanford, 1988."},{"key":"23_CR20","unstructured":"M. Schmidt-Schau\u00df, \u201cUnification Algebras: An Axiomatic Approach to Unification, Equation Solving and Constraint Solving,\u201d SEKI-Report, SR-88-23, University of Kaiserslautern, 1988."},{"key":"23_CR21","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":"M. Schmidt-Schau\u00df, \u201cUnification in a combination of arbitrary disjoint equational theories,\u201d J. Symbolic Computation\n8, 1989, pp. 51\u201399.","journal-title":"J. Symbolic Computation"},{"issue":"3","key":"23_CR22","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0743-1066(94)90044-2","volume":"18","author":"G. Smolka","year":"1994","unstructured":"G. Smolka, R. Treinen, \u201cRecords for Logic Programming,\u201d J. of Logic Programming\n18(3) (1994), pp. 229\u2013258 556.","journal-title":"J. of Logic Programming"},{"key":"23_CR23","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1070\/SM1983v044n01ABEH000954","volume":"44","author":"Y.M. Vazhenin","year":"1983","unstructured":"Y.M. Vazhenin and B.V. Rozenblat, \u201cDecidability of the positive theory of a free countably generated semigroup,\u201d Math. USSR Sbornik 44 (1983), pp. 109\u2013116.","journal-title":"Math. USSR Sbornik"},{"key":"23_CR24","unstructured":"J.G. Williams, \u201cInstantiation Theory: On the Foundation of Automated Deduction,\u201d Springer LNCS 518, 1991."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:53Z","timestamp":1619573813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}