TY  - RPRT
TI  - Tableaux for First Order Logic of Proofs
AU  - Meghdad Ghari
PY  - 2016
UR  - https://arxiv.org/abs/1604.07021
ID  - 1604.07021
ER  -