TY  - RPRT
TI  - Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux
AU  - Christoph Wernhard
PY  - 2018
UR  - https://arxiv.org/abs/1802.04982
ID  - 1802.04982
ER  -