Certifying Inexpressibility.

Orna Kupferman, Salomon Sickert

Browse the full FOSSACS paper archive.