TY - JOUR AU - Igor G. Lysenok AU - Alexei G. Myasnikov TI - A polynomial bound on solutions of quadratic equations in free groups JO - Informatics and Automation PY - 2011 SP - 148 EP - 190 VL - 274 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TRSPY_2011_274_a9/ LA - ru ID - TRSPY_2011_274_a9 ER -