@article{Fijalkow_2025,
    title = {On the Monniaux Problem in Abstract Interpretation},
    volume = {72},
    issn = {1557-735X},
    url = {http://dx.doi.org/10.1145/3704632},
    doi = {10.1145/3704632},
    number = {2},
    journal = {Journal of the ACM},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Fijalkow, Nathanael and Lefaucheux, Engel and Ohlmann, Pierre and Ouaknine, Joël and Pouly, Amaury and Worrell, James},
    year = {2025},
    month = {mar},
    pages = {1–51},
    date-added = {2025-12-1 23:11:51 +0100}
}

@article{Fijalkow_2025, title = {On the Monniaux Problem in Abstract Interpretation}, volume = {72}, issn = {1557-735X}, url = {http://dx.doi.org/10.1145/3704632}, doi = {10.1145/3704632}, number = {2}, journal = {Journal of the ACM}, publisher = {Association for Computing Machinery (ACM)}, author = {Fijalkow, Nathanael and Lefaucheux, Engel and Ohlmann, Pierre and Ouaknine, Joël and Pouly, Amaury and Worrell, James}, year = {2025}, month = {mar}, pages = {1–51}, date-added = {2025-12-1 23:11:51 +0100} }