@article{IbarraMoran:JACM:1983,
    Address = {New York, NY, USA},
    Author = {Ibarra, Oscar H. and Moran, Shlomo},
    File = {Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs - 322358.322373.pdf},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Month = {jan},
    Number = {1},
    Pages = {217---228},
    Publisher = {Association for Computing Machinery},
    Title = {Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs},
    URL = {https://doi.org/10.1145/322358.322373},
    Volume = {30},
    Year = {1983},
    bdsk-url-1 = {https://doi.org/10.1145/322358.322373},
    date-added = {2023-08-26 10:32:46 +0200},
    date-modified = {2023-08-26 10:32:56 +0200},
    issue_date = {Jan. 1983},
    numpages = {12},
    doi = {10.1145/322358.322373}
}

@article{IbarraMoran:JACM:1983, Address = {New York, NY, USA}, Author = {Ibarra, Oscar H. and Moran, Shlomo}, File = {Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs - 322358.322373.pdf}, ISSN = {0004-5411}, Journal = {J. ACM}, Month = {jan}, Number = {1}, Pages = {217---228}, Publisher = {Association for Computing Machinery}, Title = {Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs}, URL = {https://doi.org/10.1145/322358.322373}, Volume = {30}, Year = {1983}, bdsk-url-1 = {https://doi.org/10.1145/322358.322373}, date-added = {2023-08-26 10:32:46 +0200}, date-modified = {2023-08-26 10:32:56 +0200}, issue_date = {Jan. 1983}, numpages = {12}, doi = {10.1145/322358.322373} }