Makanin's Algorithm for Word Equations - Two Improvements and a Generalization.

Klaus U. Schulz Makanin's Algorithm for Word Equations - Two Improvements and a Generalization. 85-150 1990 conf/iwwert/1990 IWWERT db/conf/iwwert/iwwert1990.html#Schulz90 https://doi.org/10.1007/3-540-55124-7_4