DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
scientific article