@inbook{Kupferman_2021,
    title = {Certifying Inexpressibility},
    ISBN = {9783030719951},
    ISSN = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-030-71995-1_20},
    DOI = {10.1007/978-3-030-71995-1_20},
    booktitle = {Foundations of Software Science and Computation Structures},
    publisher = {Springer International Publishing},
    author = {Kupferman, Orna and Sickert, Salomon},
    year = {2021},
    pages = {385–405}
}

@inbook{Kupferman_2021, title = {Certifying Inexpressibility}, ISBN = {9783030719951}, ISSN = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-030-71995-1_20}, DOI = {10.1007/978-3-030-71995-1_20}, booktitle = {Foundations of Software Science and Computation Structures}, publisher = {Springer International Publishing}, author = {Kupferman, Orna and Sickert, Salomon}, year = {2021}, pages = {385–405} }