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