1. A proof of Ehrenfeucht's conjecture;Albert;Theoret. Comput. Sci.,1985
2. The descending chain condition on solution sets for systems of equations in groups;Albert,1985
3. System of equations over a free monoid and Ehrenfeucht's conjecture;Culik;Discrete Math.,1983
4. Rational sets in commutative monoids;Eilenberg;J. Algebra,1969
5. The equivalence of infinite systems of equations in free groups and semigroups to their finite subsystems;Guba;Math. Zametki,1986