TY  - RPRT
TI  - Certification of Prefixed Tableau Proofs for Modal Logic
AU  - Tomer Libal
AU  - Marco Volpe
PY  - 2016
DO  - 10.4204/eptcs.226.18
UR  - https://arxiv.org/abs/1609.04100
ID  - 1609.04100
ER  -