TY  - RPRT
TI  - A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization
AU  - Richard Bonichon
AU  - Olivier Hermant
PY  - 2015
UR  - https://arxiv.org/abs/1505.06376
ID  - 1505.06376
ER  -