{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:34Z","timestamp":1725663814366},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540567301"},{"type":"electronic","value":"9783540476368"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56730-5_37","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:27:27Z","timestamp":1330255647000},"page":"177-186","source":"Crossref","is-referenced-by-count":0,"title":["Unification in the combination of disjoint theories"],"prefix":"10.1007","author":[{"given":"Peter","family":"Auer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","volume-title":"PhD thesis","author":"P. Auer","year":"1992","unstructured":"Peter Auer. Unification with associative functions. PhD thesis, Technical University Vienna, 1992."},{"key":"11_CR2","unstructured":"Franz Baader and Klaus Schulz. Unification in the union of disjoint equational theories: combining decision procedures. 1991. To be published in the proceedings of the IWWERT'91."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Alexander Herold. Combination of unification algorithms. In Proceedings of the 8th Conference on Automated Deduction, pages 450\u2013496, Springer LNCS 230, 1986.","DOI":"10.1007\/3-540-16780-3_111"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Claude Kirchner. A new unification method: a generalisation of Martelli-Montanari's algorithm. In Proceedings of the 7th International Conference on Automated Deduction, pages 224\u2013247, Springer LNCS 170, May 1984.","DOI":"10.1007\/978-0-387-34768-4_14"},{"key":"11_CR5","unstructured":"Manfred Schmidt-Schau\\. Unification in a combination of arbitrary disjoint equational theories. In Claude Kirchner, editor, Unification, pages 217\u2013265, Academic Press, 1990."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"J\u00f6rg H. Siekmann. Unification theory. In Claude Kirchner, editor, Unification, pages 1\u201368, Academic Press, 1990.","DOI":"10.1016\/0167-9236(90)90027-O"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Erik Tiden. Unification in combinations of collapse-free theories with disjoint sets of function symbols. In Proceedings of the 8th Conference on Automated Deduction, pages 431\u2013449, Springer LNCS 230, 1986.","DOI":"10.1007\/3-540-16780-3_110"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Kathy Yelick. Combining unification algorithms for confined regular equational theories. In Proceedings of the 1st International Conference on Rewriting Techniques and Applications, pages 365\u2013380, Springer LNCS 202, 1985.","DOI":"10.1007\/3-540-15976-2_18"}],"container-title":["Lecture Notes in Computer Science","Word Equations and Related Topics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56730-5_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:05:26Z","timestamp":1605647126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56730-5_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540567301","9783540476368"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-56730-5_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}