TY  - RPRT
TI  - Tableau vs. Sequent Calculi for Minimal Entailment
AU  - Olaf Beyersdorff
AU  - Leroy Chew
PY  - 2014
UR  - https://arxiv.org/abs/1405.1565
ID  - 1405.1565
ER  -