@article{Ait_El_Manssour_2025,
    title = {Simple Linear Loops: Algebraic Invariants and Applications},
    volume = {9},
    issn = {2475-1421},
    url = {http://dx.doi.org/10.1145/3704862},
    doi = {10.1145/3704862},
    number = {POPL},
    journal = {Proceedings of the ACM on Programming Languages},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Ait El Manssour, Rida and Kenison, George and Shirmohammadi, Mahsa and Varonka, Anton},
    year = {2025},
    month = {jan},
    pages = {745–771},
    date-added = {2025-2-13 7:17:4 +0100}
}

@article{Ait_El_Manssour_2025, title = {Simple Linear Loops: Algebraic Invariants and Applications}, volume = {9}, issn = {2475-1421}, url = {http://dx.doi.org/10.1145/3704862}, doi = {10.1145/3704862}, number = {POPL}, journal = {Proceedings of the ACM on Programming Languages}, publisher = {Association for Computing Machinery (ACM)}, author = {Ait El Manssour, Rida and Kenison, George and Shirmohammadi, Mahsa and Varonka, Anton}, year = {2025}, month = {jan}, pages = {745–771}, date-added = {2025-2-13 7:17:4 +0100} }