@inproceedings{KS21, author = {O. Kupferman and S. Sickert}, title = {Certifying Inexpressibility}, booktitle = fossacs21, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2021} }