The equation a M = b N c P in a free group (1962)

by R C Lyndon, M P Schützenberger
Venue:289–298. MR0162838 (29 #142), Zbl 0106.02204