@misc{indiciae4d2ffe06461a,
  title = {A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization},
  author = {Richard Bonichon and Olivier Hermant},
  year = {2015},
  url = {https://arxiv.org/abs/1505.06376},
  note = {Source identifier: 1505.06376}
}