@article{Makanin_1977,
    Abstract = {In this paper we construct an algorithm recognizing the solvability of arbitrary equations in a free semigroup.Bibliography: 4 titles.},
    Author = {Makanin, G S},
    File = {The Problem of Solvability of Equations in a Free Semigroup.pdf},
    Journal = {Mathematics of the {USSR}-Sbornik},
    Keywords = {word equations and unification and classic},
    Month = {feb},
    Number = {2},
    Pages = {129--198},
    Publisher = {{IOP} Publishing},
    Title = {The Problem of Solvability of Equations in a Free Semigroup},
    URL = {https://doi.org/10.1070\%2Fsm1977v032n02abeh002376},
    Volume = {32},
    Year = {1977},
    bdsk-url-1 = {https://doi.org/10.1070\%2Fsm1977v032n02abeh002376},
    bdsk-url-2 = {https://doi.org/10.1070/sm1977v032n02abeh002376},
    date-added = {2019-08-08 11:17:09 +0200},
    date-modified = {2019-08-08 11:18:01 +0200},
    file-2 = {sm2805 - a - a - l.pdf},
    doi = {10.1070/sm1977v032n02abeh002376}
}

@article{Makanin_1977, Abstract = {In this paper we construct an algorithm recognizing the solvability of arbitrary equations in a free semigroup.Bibliography: 4 titles.}, Author = {Makanin, G S}, File = {The Problem of Solvability of Equations in a Free Semigroup.pdf}, Journal = {Mathematics of the {USSR}-Sbornik}, Keywords = {word equations and unification and classic}, Month = {feb}, Number = {2}, Pages = {129--198}, Publisher = {{IOP} Publishing}, Title = {The Problem of Solvability of Equations in a Free Semigroup}, URL = {https://doi.org/10.1070\%2Fsm1977v032n02abeh002376}, Volume = {32}, Year = {1977}, bdsk-url-1 = {https://doi.org/10.1070\%2Fsm1977v032n02abeh002376}, bdsk-url-2 = {https://doi.org/10.1070/sm1977v032n02abeh002376}, date-added = {2019-08-08 11:17:09 +0200}, date-modified = {2019-08-08 11:18:01 +0200}, file-2 = {sm2805 - a - a - l.pdf}, doi = {10.1070/sm1977v032n02abeh002376} }