Wang, Qinshi; Appel, Andrew W. A solver for arrays with concatenation. (English) Zbl 07695707 J. Autom. Reasoning 67, No. 1, Paper No. 4, 31 p. (2023). MSC: 68V15 PDFBibTeX XMLCite \textit{Q. Wang} and \textit{A. W. Appel}, J. Autom. Reasoning 67, No. 1, Paper No. 4, 31 p. (2023; Zbl 07695707) Full Text: DOI
Burke, E. K. Unification in partially commutative semigroups. (English) Zbl 0812.68076 J. Autom. Reasoning 12, No. 2, 209-223 (1994). MSC: 68W10 20M35 PDFBibTeX XMLCite \textit{E. K. Burke}, J. Autom. Reasoning 12, No. 2, 209--223 (1994; Zbl 0812.68076) Full Text: DOI
Schulz, Klaus U. Word unification and transformation of generalized equations. (English) Zbl 0802.68136 J. Autom. Reasoning 11, No. 2, 149-184 (1993). MSC: 68T15 03B35 20M05 20M35 PDFBibTeX XMLCite \textit{K. U. Schulz}, J. Autom. Reasoning 11, No. 2, 149--184 (1993; Zbl 0802.68136) Full Text: DOI
Kapur, Deepak; Narendran, Paliath Complexity of unification problems with associative-commutative operators. (English) Zbl 0781.68076 J. Autom. Reasoning 9, No. 2, 261-288 (1992). MSC: 68Q42 68T15 68Q25 PDFBibTeX XMLCite \textit{D. Kapur} and \textit{P. Narendran}, J. Autom. Reasoning 9, No. 2, 261--288 (1992; Zbl 0781.68076) Full Text: DOI