{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T03:44:31Z","timestamp":1777347871788,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540642756","type":"print"},{"value":"9783540697152","type":"electronic"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054336","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:37:37Z","timestamp":1149658657000},"page":"358-373","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Solving equations in strings: On Makanin's algorithm"],"prefix":"10.1007","author":[{"given":"Claudio","family":"Guti\u00e9rrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"32_CR1","volume-title":"Ph.D. dissertation","author":"H. Abdulrab","year":"1987","unstructured":"H. Abdulrab, 1987. R\u00e9solution d'\u00e9quations sur les mots: \u00e9tude et impl\u00e9mentation LISP de l'algoritme de Makanin, Ph.D. dissertation, Univ. Rouen, Rouen."},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"A.V. Aho, 1990 Algorithms for finding patterns in strings, in Handbook of Theoretical Computer Science (J. van Leeuwen, ed.), Elsevier Sc. Pub., pp. 256\u2013300.","DOI":"10.1016\/B978-0-444-88071-0.50010-2"},{"key":"32_CR3","volume-title":"Handbook of Logic in Artif. Int. and Logic Prog., Vol. 2","author":"F. Baader","year":"1994","unstructured":"F. Baader, J.H. Siekmann, 1994. Unification Theory, in Handbook of Logic in Artif. Int. and Logic Prog., Vol. 2, (D. Gabbay et al, ed.), Clarendon Press, Oxford."},{"key":"32_CR4","unstructured":"V.K. Bulitko, 1970. Equations and Inequalities in a Free Group and a Free Semigroup, Tul. Gos. Ped. Inst. U\u010den. Zap. Mat. Kafedr. Vyp. 2 Geometr. i Algebra (1970), 242\u2013252."},{"issue":"No.1","key":"32_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/78935.78938","volume":"37","author":"J. Jaffar","year":"1990","unstructured":"J. Jaffar, 1990. Minimal and Complete Word Unification, Journal ACM, Vol. 37, No. 1, January 1990, pp.47\u201385.","journal-title":"Journal ACM"},{"key":"32_CR6","unstructured":"J.I. Hmelevskii, 1971. Equations in free semigroups, Trudy Mat. Inst. Steklov. 107 (1971). English translation: Proc. Steklov Inst. Math. 107 (1971)."},{"key":"32_CR7","unstructured":"A. Lentin, 1972. Equations in Free Monoids, in Automata Laguages and Programming (M. Nivat ed.), North Holland, 67\u201385."},{"issue":"2","key":"32_CR8","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1070\/SM1977v032n02ABEH002376","volume":"32","author":"G.S. Makanin","year":"1977","unstructured":"G.S. Makanin, 1977. The problem of solvability of equations in a free semigroup, Math. USSR Sbornik 32(1977) (2), 129\u2013198.","journal-title":"Math. USSR Sbornik"},{"key":"32_CR9","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1145\/234533.234543","volume":"43","author":"A. Ko\u015acielski","year":"1996","unstructured":"A. Ko\u015acielski, L. Pacholski, 1996. Complexity of Makanin's Algorithm, Journal of the ACM, Vol. 43, July 1996, pp. 670\u2013684.","journal-title":"Journal of the ACM"},{"key":"32_CR10","volume-title":"Th\u00e8se de doctorat","author":"J.P. P\u00e9cuchet","year":"1981","unstructured":"J.P. P\u00e9cuchet, 1981. Equations avec constantes et algoritme de Makanin, Th\u00e8se de doctorat, Laboratoire d'informatique, Rouen."},{"key":"32_CR11","first-page":"73","volume":"7","author":"G.D. Plotkin","year":"1972","unstructured":"G.D. Plotkin, 1972. Building-in equational theories, Mach. Int. 7, 1972, pp. 73\u201390.","journal-title":"Mach. Int."},{"key":"32_CR12","unstructured":"J. Siekmann, 1972. A modification of Robinson's Unification Procedure, M.Sc. Thesis."},{"key":"32_CR13","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00881904","volume":"11","author":"K.U. Schulz","year":"1993","unstructured":"K.U. Schulz, 1993. Word Unification and Transformation of Generalized Equations, Journal of Automated Reasoning 11: 149\u2013184, 1993.","journal-title":"Journal of Automated Reasoning"},{"key":"32_CR14","first-page":"85","volume":"572","author":"K.U. Schulz","year":"1990","unstructured":"K.U. Schulz, 1990. Makanin's Algorithm for Word Equations: two improvements and a generalization, in LNCS 572, pp. 85\u2013150.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","LATIN'98: Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T20:38:38Z","timestamp":1674851918000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0054336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540642756","9783540697152"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0054336","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"25 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}