@article{Jez:JACM:2016,
    Address = {New York, NY, USA},
    Author = {Je{\.z}, Artur},
    File = {Recompression - A Simple and Powerful Technique for Word Equations - a4-jez - a - a - c.pdf},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Keywords = {Exponent of periodicity, semantic unification, string unification, word equations},
    Month = {February},
    Number = {1},
    Pages = {4:1--4:51},
    Publisher = {ACM},
    Title = {Recompression: A Simple and Powerful Technique for Word Equations},
    URL = {http://doi.acm.org/10.1145/2743014},
    Volume = {63},
    Year = {2016},
    acmid = {2743014},
    articleno = {4},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2743014},
    bdsk-url-2 = {https://doi.org/10.1145/2743014},
    date-added = {2019-08-08 11:06:42 +0200},
    date-modified = {2023-08-09 11:43:58 +0200},
    issue_date = {March 2016},
    numpages = {51},
    doi = {10.1145/2743014}
}

@article{Jez:JACM:2016, Address = {New York, NY, USA}, Author = {Je{.z}, Artur}, File = {Recompression - A Simple and Powerful Technique for Word Equations - a4-jez - a - a - c.pdf}, ISSN = {0004-5411}, Journal = {J. ACM}, Keywords = {Exponent of periodicity, semantic unification, string unification, word equations}, Month = {February}, Number = {1}, Pages = {4:1--4:51}, Publisher = {ACM}, Title = {Recompression: A Simple and Powerful Technique for Word Equations}, URL = {http://doi.acm.org/10.1145/2743014}, Volume = {63}, Year = {2016}, acmid = {2743014}, articleno = {4}, bdsk-url-1 = {http://doi.acm.org/10.1145/2743014}, bdsk-url-2 = {https://doi.org/10.1145/2743014}, date-added = {2019-08-08 11:06:42 +0200}, date-modified = {2023-08-09 11:43:58 +0200}, issue_date = {March 2016}, numpages = {51}, doi = {10.1145/2743014} }