@misc{indiciae849c995c080f,
  title = {Craig Interpolation with Clausal First-Order Tableaux},
  author = {Christoph Wernhard},
  year = {2021},
  doi = {10.1007/s10817-021-09590-3},
  url = {https://arxiv.org/abs/2008.03489},
  note = {Source identifier: 2008.03489}
}