@article{MullnerMoosbruggerKovacs:POPL:2024,
    title = {Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs},
    volume = {8},
    issn = {2475-1421},
    url = {http://dx.doi.org/10.1145/3632872},
    doi = {10.1145/3632872},
    number = {POPL},
    journal = {Proceedings of the ACM on Programming Languages},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Müllner, Julian and Moosbrugger, Marcel and Kovács, Laura},
    year = {2024},
    month = {jan},
    pages = {882--910},
    date-added = {2024-8-7 10:33:14 +0100}
}

@article{MullnerMoosbruggerKovacs:POPL:2024, title = {Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs}, volume = {8}, issn = {2475-1421}, url = {http://dx.doi.org/10.1145/3632872}, doi = {10.1145/3632872}, number = {POPL}, journal = {Proceedings of the ACM on Programming Languages}, publisher = {Association for Computing Machinery (ACM)}, author = {Müllner, Julian and Moosbrugger, Marcel and Kovács, Laura}, year = {2024}, month = {jan}, pages = {882--910}, date-added = {2024-8-7 10:33:14 +0100} }