{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:48Z","timestamp":1725664248456},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577850"},{"type":"electronic","value":"9783540483328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_141","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:18:45Z","timestamp":1330244325000},"page":"187-198","source":"Crossref","is-referenced-by-count":1,"title":["Combination of matching algorithms"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Ringeissen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Franz Baader and Klaus Schulz. Unification in the union of disjoint equational theories: Combining decision procedures. In Proceedings 11th International Conference on Automated Deduction, Saratoga Springs (N.Y., USA), pages 50\u201365, 1992.","key":"15_CR1","DOI":"10.1007\/3-540-55602-8_155"},{"key":"15_CR2","volume-title":"volume 449 of Lecture Notes in Computer Science","author":"A. Boudet","year":"1990","unstructured":"A. Boudet. Unification in a combination of equational theories: An efficient algorithm. In M. E. Stickel, editor, Proceedings 10th International Conference on Automated Deduction, Kaiserslautern (Germany), volume 449 of Lecture Notes in Computer Science. Springer-Verlag, July 1990."},{"issue":"5","key":"15_CR3","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1016\/S0747-7171(89)80057-4","volume":"8","author":"H.-J. B\u00fcrckert","year":"1989","unstructured":"H.-J. B\u00fcrckert. Matching \u2014 A special case of unification? Journal of Symbolic Computation, 8(5):523\u2013536, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"15_CR4","first-page":"450","volume-title":"volume 230 of Lecture Notes in Computer Science","author":"A. Herold","year":"1986","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 Computer Science, pages 450\u2013469. Springer-Verlag, 1986."},{"key":"15_CR5","first-page":"257","volume-title":"Computational Logic. Essays in honor of Alan Robinson","author":"J.-P. Jouannaud","year":"1991","unstructured":"J.-P. Jouannaud and Claude Kirchner. Solving equations in abstract algebras: a rulebased survey of unification. In Jean-Louis Lassez and G. Plotkin, editors, Computational Logic. Essays in honor of Alan Robinson, chapter 8, pages 257\u2013321. MIT Press, Cambridge (MA, USA), 1991."},{"unstructured":"Claude Kirchner. M\u00e9thodes et outils de conception syst\u00e9matique d'algorithmes d'unification dans les th\u00e9ories \u00e9quationnelles. Th\u00e8se de Doctorat d'Etat, Universit\u00e9 de Nancy I, 1985.","key":"15_CR6"},{"doi-asserted-by":"crossref","unstructured":"T. Nipkow. Combining matching algorithms: The regular case. Journal of Symbolic Computation, pages 633\u2013653, 1991.","key":"15_CR7","DOI":"10.1016\/S0747-7171(08)80145-9"},{"doi-asserted-by":"crossref","unstructured":"Ch. Ringeissen. Unification in a combination of equational theories with shared constants and its application to primal algebras. In Proceedings of LPAR'92, volume 624 of Lecture Notes in Artificial Intelligence, pages 261\u2013272. Springer-Verlag, 1992.","key":"15_CR8","DOI":"10.1007\/BFb0013067"},{"unstructured":"Ch. Ringeissen. Combination of matching algorithms (extended version). Research report, INRIA, Inria-Lorraine & CRIN, 1994. Also as: Internal report 93-R-197, CRIN.","key":"15_CR9"},{"issue":"1","key":"15_CR10","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. Combination of unification algorithms. Journal of Symbolic Computation, 8(1 & 2):51\u2013100, 1989. Special issue on unification. Part two.","journal-title":"Journal of Symbolic Computation"},{"unstructured":"P. Szab\u00f3. Unifikationstheorie erster Ordnung. PhD thesis, Universit\u00e4t Karlsruhe, 1982.","key":"15_CR11"},{"key":"15_CR12","first-page":"431","volume-title":"volume 230 of Lecture Notes in Computer Science","author":"E. Tid\u00e9n","year":"1986","unstructured":"E. Tid\u00e9n. Unification in combinations of collapse-free theories with disjoint sets of functions symbols. In J. Siekmann, editor, Proceedings 8th International Conference on Automated Deduction, Oxford (UK), volume 230 of Lecture Notes in Computer Science, pages 431\u2013449. Springer-Verlag, 1986."},{"issue":"1","key":"15_CR13","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0747-7171(87)80025-1","volume":"3","author":"K. Yelick","year":"1987","unstructured":"K. Yelick. 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","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_141.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:13:55Z","timestamp":1605629635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_141","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}