{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:33Z","timestamp":1725663633302},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569442"},{"type":"electronic","value":"9783540478300"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56944-8_61","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:57:44Z","timestamp":1330257464000},"page":"289-300","source":"Crossref","is-referenced-by-count":1,"title":["Unification under one-sided distributivity with a multiplicative unit"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Schmidt-Schau\u00df","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"25_CR1","unstructured":"Baader, F., Schulz, K., Unification in the union of disjoint equational theories: combining decision procedures, report RR-91-33, DFKI Kaiserslautern, (1991)"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra, J.A. and Klop, J.W., Algebra of communicating processes with abstraction. Theoretical computer science 37, 77\u2013121, (1985)","journal-title":"Theoretical computer science"},{"key":"25_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0747-7171(89)80021-5","volume":"8","author":"H.-J. B\u00fcrckert","year":"1989","unstructured":"B\u00fcrckert, H.-J., Herold, A., Schmidt-Schau\u00df, M., On Equational Theories, Unification and (Un)Decidability, J. Symbolic Computation 8, pp. 3\u201349, 1989","journal-title":"J. Symbolic Computation"},{"key":"25_CR4","unstructured":"Contejean, E., Unification under distributivity, Unification workshop 1992, Dagstuhl, Germany, (1992)"},{"key":"25_CR5","unstructured":"Kirchner, C (ed.), Unification, Academic Press, 1990"},{"issue":"3","key":"25_CR6","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1070\/IM1983v021n03ABEH001803","volume":"21","author":"G.S. Makanin","year":"1977","unstructured":"Makanin, G.S., The problem of solvability of equations in a free semigroup, Math USSR. Izvestiya, vol. 21,3,483\u2013546, (1977)","journal-title":"Math USSR. Izvestiya"},{"key":"25_CR7","unstructured":"Narendran, P., F, Pfenning, R. Statman, On the unification problem for cartesian closed categories, Talk presented at the workshop on Higher-Order logic, Banff, Alberta, 1989, (a report is forthcoming)"},{"key":"25_CR8","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1007\/3-540-52885-7_117","volume":"449","author":"M. Rittri","year":"1990","unstructured":"Rittri, M., Retrieving Library Identifiers via equational matching of types, Proc. 10th CADE, Springer Lecture Notes in Computer Science 449, 603\u2013617, (1990)","journal-title":"Proc. 10th CADE, Springer Lecture Notes in Computer Science"},{"key":"25_CR9","unstructured":"Schulz, K., Makanin's algorithm \u2014 two improvements and a generalization, CIS report 91-39, CIS, Universit\u00e4t M\u00fcnchen, 1991"},{"key":"25_CR10","unstructured":"Schmidt-Schau\u00df, M., Some results for distributive unification, internal report 7\/92, FB Informatik, university Frankfurt, (1992)"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Schmidt-Schau\u00df, M., Unification under one-sided distributivity with a multiplicative unit, internal report, FB Informatik, university Frankfurt, (forthcoming 1993)","DOI":"10.1007\/3-540-56944-8_61"},{"key":"25_CR12","unstructured":"Siekmann, J., Unification theory: a survey, in C. Kirchner (ed.), Special issue on unification, Journal of symbolic computation 7, (1989)"},{"key":"25_CR13","unstructured":"Szab6,P., Unifikationstheorie erster Ordnung, Dissertation, Karlsruhe, (1982)"},{"key":"25_CR14","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0747-7171(87)80026-3","volume":"3","author":"E. Tiden","year":"1987","unstructured":"Tiden, E., Arnborg, S., Unification problems with one-sided distributivity, J. Symbolic Computation 3, pp. 183\u2013202, (1987)","journal-title":"J. Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56944-8_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:44Z","timestamp":1605647264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56944-8_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569442","9783540478300"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56944-8_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}