@article{hostert2026-completeness,
    author = {Hostert, Johannes and Zhang, Zichen and Liu, Puming and Gregersen, Simon Oddershede and Jung, Ralf and Tassarotti, Joseph},
    title = {Completeness of Iris-Based Program Logics},
    year = {2026},
    issue_date = {August 2026},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {10},
    number = {ICFP},
    journal = {Proc. ACM Program. Lang.},
    month = {aug},
    articleno = {284},
    numpages = {36},
    doi = {10.1145/3828682}
}