@article{10.1145/2402.322396,
    Address = {New York, NY, USA},
    Author = {Ibarra, Oscar H. and Leininger, Brian S.},
    File = {On the Simplification and Equivalence Problems for Straight-Line Programs - 2402.322396.pdf},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Month = {jul},
    Number = {3},
    Pages = {641---656},
    Publisher = {Association for Computing Machinery},
    Title = {On the Simplification and Equivalence Problems for Straight-Line Programs},
    URL = {https://doi.org/10.1145/2402.322396},
    Volume = {30},
    Year = {1983},
    bdsk-url-1 = {https://doi.org/10.1145/2402.322396},
    date-added = {2023-08-26 10:37:13 +0200},
    date-modified = {2023-08-26 10:37:18 +0200},
    issue_date = {July 1983},
    numpages = {16},
    doi = {10.1145/2402.322396}
}

@article{10.1145/2402.322396, Address = {New York, NY, USA}, Author = {Ibarra, Oscar H. and Leininger, Brian S.}, File = {On the Simplification and Equivalence Problems for Straight-Line Programs - 2402.322396.pdf}, ISSN = {0004-5411}, Journal = {J. ACM}, Month = {jul}, Number = {3}, Pages = {641---656}, Publisher = {Association for Computing Machinery}, Title = {On the Simplification and Equivalence Problems for Straight-Line Programs}, URL = {https://doi.org/10.1145/2402.322396}, Volume = {30}, Year = {1983}, bdsk-url-1 = {https://doi.org/10.1145/2402.322396}, date-added = {2023-08-26 10:37:13 +0200}, date-modified = {2023-08-26 10:37:18 +0200}, issue_date = {July 1983}, numpages = {16}, doi = {10.1145/2402.322396} }