"Certifying Inexpressibility."

Orna Kupferman, Salomon Sickert (2021)
a service of Schloss Dagstuhl - Leibniz Center for Informatics