{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:30Z","timestamp":1742617230577,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614647"},{"type":"electronic","value":"9783540685968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61464-8_60","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:40:12Z","timestamp":1330292412000},"page":"287-301","source":"Crossref","is-referenced-by-count":6,"title":["An algorithm for distributive unification"],"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,2]]},"reference":[{"key":"23_CR1","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. J. theoretical computer science 37, 77\u2013121, (1985)","journal-title":"J. theoretical computer science"},{"key":"23_CR2","first-page":"23","volume":"677","author":"F. Baader","year":"1992","unstructured":"Baader, F., Schulz, K.U., General A-and AX-Unification via Optimised Combination Procedures, Proc. Second International Workshop on Word Equations and Related Topics 1991, LNCS 677, pp. 23\u201342, (1992)","journal-title":"LNCS"},{"key":"23_CR3","unstructured":"Baader, F., Schulz, K.U., Unification in the union of disjoint equational theories: Combining decision procedures, Proc. 11th CADE, LNCS 607, Springer-Verlag, pp. 50\u201365, (1992)"},{"key":"23_CR4","unstructured":"Baader, F, Siekmann, J., Unification Theory, in D.M. Gabbay, C.J. Hogger, J.A: Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, (1994)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Weijland, W.P., Process Algebra, Cambridge tracts in theoretical computer science, Cambridge university press, (1990)","DOI":"10.1017\/CBO9780511624193"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1006\/jsco.1993.1060","volume":"16","author":"E. Contejean","year":"1993","unstructured":"Contejean, E., Solving *-problems modulo Distributivity by a reduction to ACl-Unification, J. of Symbolic Computation 16, pp. 493\u2013521. (1993)","journal-title":"J. of Symbolic Computation"},{"key":"23_CR7","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/S0304-3975(06)80003-4","volume":"87","author":"W. Farmer","year":"1991","unstructured":"Farmer, W., Farmer, A., Simple second-order languages for which unification is undecidable. Theoretical Computer Science 87, pp. 173\u2013214, (1991)","journal-title":"Theoretical Computer Science"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0304-3975(81)90040-2","volume":"13","author":"W. Goldfarb","year":"1981","unstructured":"Goldfarb, W. The undecidability of the second-order unification problem, J. TCS 13, pp. 225\u2013230, (1981)","journal-title":"J. TCS"},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/78935.78938","volume":"37","author":"J. Jaffar","year":"1990","unstructured":"Jaffar, J., Minimal and complete word unification, J. of the ACM, 37, 47\u201385, (1990)","journal-title":"J. of the ACM"},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF00245463","volume":"92","author":"D. Kapur","year":"1992","unstructured":"Kapur, D., Narendran, Complexity of AC1-unification, JAR 92: pp 261\u2013288, (1992)","journal-title":"JAR"},{"key":"23_CR11","unstructured":"Kirchner, C. (ed.), Unification, reprint from J. of Symbolic Computation, Academic Press, (1989)"},{"key":"23_CR12","first-page":"147","volume":"103","author":"G.S Makanin","year":"1977","unstructured":"Makanin, G.S:, The problem of solvability od equations in a free semigroup. Math. Sbornik, 103, 147\u2013236, (1977), english translation in Math USSR Sbornik 32, (1977)","journal-title":"Math. Sbornik"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Narendran, P., Pfenning, F., Statman, R., On the unification problem in cartesian closed categories, Proc. Logic in Computer Science, 57\u201363, (1993)","DOI":"10.1109\/LICS.1993.287600"},{"key":"23_CR14","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":"Springer Lecture Notes in Computer Science"},{"key":"23_CR15","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":"Schmidt-Schau\u00df, M., Unification in a combination of arbitrary disjoint equational theories, J. Symbolic computation 8, 51\u201399, (1989)","journal-title":"J. Symbolic computation"},{"key":"23_CR16","volume-title":"Internal report 7\/92","author":"M. Schmidt-Schau\u00df","year":"1992","unstructured":"Schmidt-Schau\u00df, M., Some results on unification in distributive equational theories, Internal report 7\/92. J.W. Goethe-Universit\u00e4t, Frankfurt am Main, (1992)"},{"key":"23_CR17","first-page":"289","volume":"698","author":"M. Schmidt-Schau\u00df","year":"1993","unstructured":"Schmidt-Schau\u00df, M., Unification under one-sided distributivity with a multiplicative unit, Proc. LPAR 93, Springer LNCS 698, pp. 289\u2013300, (1993)","journal-title":"Springer LNCS"},{"key":"23_CR18","unstructured":"Schmidt-Schau\u00df, M., Unification of Stratified Second-Order Terms, Internal report 12\/94, Fachbereich Informatik, Johann Wolfgang Goethe-Universit\u00e4t Frankfurt, (1994)"},{"key":"23_CR19","unstructured":"Schmidt-Schau\u00df, M., An Algorithm for Distributive Unification, Internal report 13\/94, Fachbereich Informatik, Johann Wolfgang Goethe-Universit\u00e4t Frankfurt, (1994)"},{"key":"23_CR20","unstructured":"Schmidt-Schau\u00df, M., Unification of Stratified Second-Order Terms, improved version of Sch94a, submitted for publication, 1995"},{"key":"23_CR21","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00881904","volume":"11","author":"K.U. Schulz","year":"1993","unstructured":"Schulz, K.U., Word unification and transformation of generalized equations, J. Automated Reasoning 11, pp. 149\u2013184, (1993)","journal-title":"J. Automated Reasoning"},{"key":"23_CR22","unstructured":"Siekmann, J., Unification theory: a survey, in C. Kirchner (ed.), Special issue on unification, Journal of symbolic computation 7, (1989)"},{"key":"23_CR23","unstructured":"Szab\u00f3, P., Unifikationstheorie erster Ordnung, Dissertation, Karlsruhe, (1982)"},{"key":"23_CR24","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","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61464-8_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:19:05Z","timestamp":1742599145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61464-8_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614647","9783540685968"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-61464-8_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}